Práce na stejné téma (mají shodná klíčová slova):
formalni logikaKlíčová slova abecedně | Klíčová slova dle četnosti
Matematická logika ve výuce na středních školách
(Marika Kaňová)2020, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/jtifl/ | Matematika / Matematika se zaměřením na vzdělávání | Práce na příbuzné téma
Kapitán Exner a logika - kniha vs. filmové pojetí
(Radka KRISTLOVÁ)2024, Bakalářská práce, Fakulta filozofická / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//6468kr// | Humanitní studia / | Práce na příbuzné téma
Logika v dětské literatuře: Alenka v kraji divů
(Kateřina BENEŠOVÁ)2013, Bakalářská práce, Fakulta filozofická / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//mwv37d// | Humanitní studia / Humanistika | Práce na příbuzné téma
Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky
(Jan Fiedor)2016, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//8r2g2w// | Informační technologie / | Práce na příbuzné téma
Grafická reprezentace formulí logiky LTL
(Michal Keda)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fdund/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Sémantické tablo jako formální procedura důkazu v logice
(Milan ROŽŇÁK)2013, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//zd7gvf// | Aplikovaná informatika / | Práce na příbuzné téma
Relační soudy v logice s návazností na ontologii
(Jan HANÁČEK)2014, Bakalářská práce, Pedagogická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//7a9odl// | Specializace v pedagogice / Společenské vědy se zaměřením na vzdělávání a filozofie | Práce na příbuzné téma
Popis regulárních jazyků pomocí predikátové logiky
(Martin Jonáš)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kfobw/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Formální dedukce v grafových systémech reprezentace znalostí
(Martin ŽÁČEK)2012, Disertační práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//3parpc// | Informatika / Informační systémy | Práce na příbuzné téma
Aplikace Port-Royalské logiky pro vybrané prvky plášťové ochrany objektů
(Lucie Sousedíková)2019, Diplomová práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//4g6eoh// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Práce na příbuzné téma