Práce na stejné téma (mají shodná klíčová slova):
Výroková logikaKlíčová slova abecedně | Klíčová slova dle četnosti
Vyhodnocení formulí výrokové logiky
(Lucie ŠURÁŇOVÁ)2016, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//qju05s// | Aplikovaná matematika / Matematika-ekonomie se zaměřením na bankovnictví/pojišťovnictví | Práce na příbuzné téma
Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)
(Radek LIPENSKÝ)2018, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//sfhcr6// | Informatika / Aplikovaná informatika | Práce na příbuzné téma
Interaktivní nástroj pro podporu výuky úvodu do matematické logiky
(Martin Kopelec)2020, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/140565 | Informační a komunikační technologie / Mobilní technologie | 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
Program na podporu výuky logiky
(Iva NAVRÁTILOVÁ)2014, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//x6k89p// | Informatika / Aplikovaná informatika | Práce na příbuzné téma
Využití výrokové logiky při řešení slovních úloh
(Jiří RAŠKA)2016, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//sb8hps// | Matematika / Matematika - Informatika (dvouoborové) | Práce na příbuzné téma
Variantní optimalizační návrh převodů studentské formule
(Miroslav Thiele)2016, Diplomová práce, Fakulta strojní / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/115061 | Strojní inženýrství / Konstrukční a procesní inženýrství | Práce na příbuzné téma
Možnosti nahrazení sekundárního převodu řetězem vozidla Formule Student převodem ozubenými koly
(Matej Košík)2019, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//4rpbue// | Strojírenství / | Práce na příbuzné téma
Dynamické vlastnosti Formule SAE
(Jiří Galvas)2014, Diplomová práce, Fakulta strojní / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/104803 | Strojní inženýrství / Dopravní technika a technologie | Práce na příbuzné téma
Převod LTL formulí s omezenými operátory do automatů s čítači
(Alexandra Slezáková)2020, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//ydg1ql// | Informační technologie / | Práce na příbuzné téma