Rychlejší přístup než prohlížeči!
16 vztahy: Alan Turing, Algoritmus, Churchova–Turingova teze, Filosofie, Hudson (Ohio), Lambda kalkul, Logika, Matematik, Nerozhodnutelný problém, Princetonská univerzita, Problém zastavení, Profesor, Spojené státy americké, Turingův stroj, Washington, D.C., 1936.
Alan Turing
Alan Mathison Turing, OBE (23. června 1912 Londýn — 7. června 1954 Wilmslow) byl britský matematik, logik, kryptoanalytik a zakladatel moderní informatiky.
Nový!!: Alonzo Church a Alan Turing · Vidět víc »
Algoritmus
Algoritmus je přesný návod či postup, kterým lze vyřešit daný typ úlohy.
Nový!!: Alonzo Church a Algoritmus · Vidět víc »
Churchova–Turingova teze
V teorii vyčíslitelnosti se pojmy Churchova–Turingova teze, Churchova teze a Turingova teze označuje hypotéza o povaze a výpočetní síle mechanických strojů počítajících matematické funkce.
Nový!!: Alonzo Church a Churchova–Turingova teze · Vidět víc »
Filosofie
#PŘESMĚRUJ Filozofie Kategorie:Přesměrování z alternativního pravopisu.
Nový!!: Alonzo Church a Filosofie · Vidět víc »
Hudson (Ohio)
Hudson je město v Summit County (Ohio) ve státě Ohio ve Spojených státech amerických.
Nový!!: Alonzo Church a Hudson (Ohio) · Vidět víc »
Lambda kalkul
Lambda kalkul je formální systém a výpočetní model používaný v teoretické informatice a matematice pro studium funkcí a rekurze.
Nový!!: Alonzo Church a Lambda kalkul · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Alonzo Church a Logika · Vidět víc »
Matematik
Matematik je osoba, jehož primární oblastí, kterou studuje a zkoumá, je matematika.
Nový!!: Alonzo Church a Matematik · Vidět víc »
Nerozhodnutelný problém
Nerozhodnutelný problém je v teorii vyčíslitelnosti a teorii složitosti takový rozhodovací problém, pro který není možné zkonstruovat algoritmus, který vždy vydá správnou odpověď ano nebo ne.
Nový!!: Alonzo Church a Nerozhodnutelný problém · Vidět víc »
Princetonská univerzita
Princetonská univerzita (Princeton University) je jedna z nejprestižnějších univerzit v USA.
Nový!!: Alonzo Church a Princetonská univerzita · Vidět víc »
Problém zastavení
Problém zastavení (halting problem) je úloha teorie vyčíslitelnosti, která může být neformálně zadána takto: V roce 1936 Alan Turing dokázal, že obecný algoritmus, který by řešil problém zastavení pro všechny vstupy všech programů, neexistuje.
Nový!!: Alonzo Church a Problém zastavení · Vidět víc »
Profesor
Profesor (z latinského profiteri, přibližně veřejně vyznávat) je nejvyšší pedagogická hodnost vysokoškolského pedagoga, tedy vyšší než docent.
Nový!!: Alonzo Church a Profesor · Vidět víc »
Spojené státy americké
Spojené státy americké, zkráceným názvem Spojené státy, zkratkou USA (nebo také US), jsou demokratická federativní prezidentská republika v Severní Americe, rozkládající se mezi Atlantským oceánem na východě a Tichým oceánem na západě.
Nový!!: Alonzo Church a Spojené státy americké · Vidět víc »
Turingův stroj
Umělecké znázornění Turingova stroje Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem, který se používá pro modelování algoritmů v teorii vyčíslitelnosti.
Nový!!: Alonzo Church a Turingův stroj · Vidět víc »
Washington, D.C.
Washington, D.C. (anglická výslovnost, česká výslovnost) je hlavní město Spojených států amerických, sídlo prezidenta, Kongresu a Nejvyššího soudu.
Nový!!: Alonzo Church a Washington, D.C. · Vidět víc »
1936
1936 (MCMXXXVI) byl rok, který dle gregoriánského kalendáře započal středou.
Nový!!: Alonzo Church a 1936 · Vidět víc »
