Theses on the same topic (having an identical keyword):
formalni logikaKeywords ordered alphabetically | Keywords ordered by occurrence rate
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í | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic