Obsah
19 vzťahy: Alan Turing, Alonzo Church, Befunge, Bekensteinova hranica, Chomského hierarchia, Dejiny počítačov, Emil Leon Post, Frázová gramatika, Lambda kalkul, Počítač, Polynomiálna hierarchia, Prechodová funkcia (teória automatov), Rekurzívne vyčísliteľný jazyk, Strojový kód, Structured Query Language, Teória automatov, Teória zložitosti, Zoznam informatických článkov/T, Zoznam matematických článkov/T.
Alan Turing
Alan Mathison Turing (* 23. jún 1912, Londýn, Spojené kráľovstvo – † 7. jún 1954, Wilmslow, Spojené kráľovstvo) bol britský matematik, logik, kryptograf a vojnový hrdina.
Pozrieť Turingov stroj a Alan Turing
Alonzo Church
Alonzo Church (* 14. jún 1903, Washington D.C., USA – † 11. august 1995, Hudson, Ohio) bol americký logik a filozof zodpovedný za niektoré základy teoretickej informatiky.
Pozrieť Turingov stroj a Alonzo Church
Befunge
Befunge je ezoterický dvojrozmerný programovací jazyk.
Pozrieť Turingov stroj a Befunge
Bekensteinova hranica
Bekensteinova hranica, vo fyzike, predstavuje horný limit entropie S alebo informácie I, ktorá môže byt obsiahnutá v určitej danej konečnej oblasti vesmíru, ktorý má určité konečné množstvo energie - alebo obrátene, maximálne množstvo informácií, potrebných na úplné popísanie daného fyzikálneho systému na kvantovej úrovni.
Pozrieť Turingov stroj a Bekensteinova hranica
Chomského hierarchia
Chomského hierachia (diagram tried). Chomského hierarchia jazykov je porovnanie štyroch tried klasických jazykov (a tým aj sily ich príslušných gramatík a automatov): \mathcal\subsetneq \mathcal_ \subsetneq \mathcal_ \subsetneq \mathcal_ kde.
Pozrieť Turingov stroj a Chomského hierarchia
Dejiny počítačov
Dejiny počítačov je možné definovať ako obdobie, od kedy sa začal vývoj počítacích strojov až do súčasnosti.
Pozrieť Turingov stroj a Dejiny počítačov
Emil Leon Post
Emil Leon Post (* 11. február 1897, Augustów, Poľsko, vtedy Ruská ríša - † 21. apríl 1954, New York, USA) bol poľsko-americký matematik a logik.
Pozrieť Turingov stroj a Emil Leon Post
Frázová gramatika
Frázová gramatika je jeden z najdôležitejších modelov na opis formálnych jazykov.
Pozrieť Turingov stroj a Frázová gramatika
Lambda kalkul
Lambda kalkul (λ-kalkul) je formálny systém a výpočtový model používaný v teoretickej informatike a matematike pre štúdium funkcií a rekurzie.
Pozrieť Turingov stroj a Lambda kalkul
Počítač
Intel Pentium 100 MHz). Počítač (iné názvy: komputer, kompúter, computer; v slangu: komp(ík)) je zariadenie alebo stroj na realizáciu výpočtov alebo riadenie operácií vyjadriteľných číselnými alebo logickými výrazmi.
Pozrieť Turingov stroj a Počítač
Polynomiálna hierarchia
Polynomiálna hierarchia je hierarchia tried vypočtových zložitostí.
Pozrieť Turingov stroj a Polynomiálna hierarchia
Prechodová funkcia (teória automatov)
Prechodová funkcia (značka h(t)) je analytické vyjadrenie prechodovej charakteristiky.
Pozrieť Turingov stroj a Prechodová funkcia (teória automatov)
Rekurzívne vyčísliteľný jazyk
Trieda rekurzívne vyčísliteľných jazykov je triedou jazykov generovaných frázovými gramatikami.
Pozrieť Turingov stroj a Rekurzívne vyčísliteľný jazyk
Strojový kód
Strojový kód alebo tiež strojový jazyk je súbor inštrukcií priamo vykonateľný procesorom počítača.
Pozrieť Turingov stroj a Strojový kód
Structured Query Language
Structured Query Language (SQL; iné názvy: štruktúrovaný vyhľadávací jazyk, štruktúrovaný dopytovací jazyk, nespisovne štruktúrovaný dotazovací jazyk) je počítačový jazyk na manipuláciu (DML) (výber, vkladanie, úpravu a mazanie) a definíciu údajov (DDL).
Pozrieť Turingov stroj a Structured Query Language
Teória automatov
Teória automatov je časť informatiky zaoberajúca sa strojmi s konečným počtom stavov.
Pozrieť Turingov stroj a Teória automatov
Teória zložitosti
Teória zložitosti je časť teoretickej informatiky zaoberajúca sa množstvom požadovaných zdrojov počas výpočtu riešiaceho daný problém.
Pozrieť Turingov stroj a Teória zložitosti
Zoznam informatických článkov/T
Tento index bol automaticky vygenerovaný podľa tejto kategorizácie.
Pozrieť Turingov stroj a Zoznam informatických článkov/T
Zoznam matematických článkov/T
Tento index bol automaticky vygenerovaný podľa tejto kategorizácie.