8 suhteet: Alan Turing, Algoritmi, Cantorin diagonaaliargumentti, Ehtolause, Funktio, Ikuinen silmukka, Laskettavuus, Turingin kone.
Alan Turing
Alan Mathison Turing (23. kesäkuuta 1912 Lontoo – 7. kesäkuuta 1954 Wilmslow) oli brittiläinen matemaatikko ja logiikan tutkija, joka vuonna 1936 julkaisi formalisoimansa algoritmin ja tietojenkäsittelytieteessä käytetyn Turingin kone -käsitteen.
Uusi!!: Pysähtymisongelma ja Alan Turing · Katso lisää »
Algoritmi
Algoritmi on yksityiskohtainen kuvaus tai ohje siitä, miten tehtävä tai prosessi suoritetaan; jota seuraamalla voidaan ratkaista tietty ongelma.
Uusi!!: Pysähtymisongelma ja Algoritmi · Katso lisää »
Cantorin diagonaaliargumentti
Cantorin diagonaaliargumentti on Georg Cantorin vuonna 1891 julkaisema matemaattinen todistus sille, että reaalilukujen joukko ei ole numeroituvasti ääretön vaan ylinumeroituva.
Uusi!!: Pysähtymisongelma ja Cantorin diagonaaliargumentti · Katso lisää »
Ehtolause
If-Then-Else -rakenne. Ehtolause on ohjelmoinnissa lause, joka toimii vuonohjauksena.
Uusi!!: Pysähtymisongelma ja Ehtolause · Katso lisää »
Funktio
Funktio f: X \rightarrow Y liittää jokaiseen joukon ''X'' alkioon täsmälleen yhden maalijoukon ''Y'' alkion. Funktio eli kuvaus kertoo olioiden välisistä riippuvuussuhteista.
Uusi!!: Pysähtymisongelma ja Funktio · Katso lisää »
Ikuinen silmukka
Ikuinen silmukka on ohjelmoinnissa ohjelma, joka jatkaa suoritustaan ikuisesti, jos sitä ei muuten keskeytetä.
Uusi!!: Pysähtymisongelma ja Ikuinen silmukka · Katso lisää »
Laskettavuus
Laskettavuus on teoreettisen tietojenkäsittelytieteen laskettavuusteorian haara, joka tutkii ongelmien ratkeavuutta algoritmisesti.
Uusi!!: Pysähtymisongelma ja Laskettavuus · Katso lisää »
Turingin kone
Taiteilijan hahmotelma Turingin koneesta. Lego-palikoista rakennettu Turingin kone. Turingin kone on teoreettinen malli sille, miten tietokone toimii.