Práce na stejné téma (mají shodná klíčová slova):
vycislitelnostKlíčová slova abecedně | Klíčová slova dle četnosti
Problémové úlohy z oblasti teorie vyčíslitelnosti
(Petr STÁREK)2013, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//6dc8sq// | Informatika / | Práce na příbuzné téma
Problémové úlohy z oblasti teorie vyčíslitelnosti
(Zuzana KALUSKOVÁ)2011, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//isik24// | Informatika / Informační systémy | Práce na příbuzné téma
Využití animace při výuce vyčíslitelnosti a složitosti
(Jan KUBALA)2008, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//zbjljp// | Informatika / Informační systémy | Práce na příbuzné téma
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma
Editor Turingových strojů
(Petr Budílek)2010, Bakalářská práce, Přírodovědecká fakulta / Univerzita Palackého
• http://theses.cz/id//k0b4s6// | Informatika / Aplikovaná informatika | Práce na příbuzné téma
Přesné výpočty s reálnými čísly
(Ondřej SLAVÍK)2021, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//7ov2wx// | Informatika / | Práce na příbuzné téma
Teorie složitosti
(Jan Pánek)2009, Bakalářská práce, Fakulta informatiky a managementu / Univerzita Hradec Králové
• http://evskp.uhk.cz/eB70 | Aplikovaná informatika / | Práce na příbuzné téma
Potřebujeme Turingův test pro umělou inteligenci?
(Martin Hloušek)2011, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/89545 | Informační technologie / Informatika a výpočetní technika | Práce na příbuzné téma