Práce na stejné téma (mají shodná klíčová slova):
formalni logikaKlíčová slova abecedně | Klíčová slova dle četnosti
Aplikace Port-Royalské logiky pro interferenční validaci alifatických karboxylových kyselin ve forenzních vědách
(Veronika Rosíková)2016, Diplomová práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//7j4jl1// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Práce na příbuzné téma
Použitie separačnej logiky pre dokazovanie korektnosti programov
(Viliam Majerčík)2024, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/153829 | Informatika / | Práce na příbuzné téma
Porovnání formální konceptuální analýzy s jinými analyticko - statistickými metodami pro bezpečnostní analýzu rizik
(Karolína Švarcová)2022, Diplomová práce, Fakulta bezpečnostního inženýrství / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/147083 | Požární ochrana a průmyslová bezpečnost / Technická bezpečnost osob a majetku | Práce na příbuzné téma
Aplikace formální konceptuální analýzy pro vybrané balistické vesty s antitrauma vložkou
(Stanislav Čermák)2018, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//7o8gcs// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Práce na příbuzné téma
EQ-logics
(Martin DYBA)2012, Disertační práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//s9d78t// | Aplikovaná matematika / Fuzzy modelování | Práce na příbuzné téma
Aplikace Port-Royalské logiky pro speciální ochranu
(Pavel Měsíček)2018, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//luocfo// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Práce na příbuzné téma
Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
(Jakub Macek)2017, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/127349 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
(Michael BAJER)2009, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//54uvey// | Informatika / | Práce na příbuzné téma