Logo
Unionpedia
Viestintä
Get it on Google Play
Uusi! Lataa Unionpedia Android™-laitteella!
Vapaa
Nopeamman yhteyden kuin selaimen!
 

Pysähtymisongelma

Indeksi Pysähtymisongelma

Pysähtymisongelma koskee syötteenä annetun, mielivaltaisen ohjelman pysähtymistestausta.

7 suhteet: Alan Turing, Algoritmi, Funktio, Ikuinen silmukka, Laskettavuus, Turingin kone, 1936.

Alan Turing

Alan Mathison Turing, OBE, FRS (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ää »

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 tai laskettavuusteoria on teoreettisen tietojenkäsittelytieteen haara, joka tutkii ongelmien ratkeavuutta ja ratkaisemisen tehokkuutta 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.

Uusi!!: Pysähtymisongelma ja Turingin kone · Katso lisää »

1936

Ei kuvausta.

Uusi!!: Pysähtymisongelma ja 1936 · Katso lisää »

LähteväSaapuvat
Hei! Olemme Facebookissa nyt! »