Práce na stejné téma (mají shodná klíčová slova):

vyrokova logika

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 » (celkem 21 prací)
Stoická logika
 (Soňa SVOBODOVÁ)

2011, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA JANA EVANGELISTY PURKYNĚ V ÚSTÍ NAD LABEM

http://theses.cz/id//000qc5// | Matematika / Matematika-Společenské vědy | Práce na příbuzné téma

Efektové algebry a kvantové logiky
 (Roman Štěpánek)

2018, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/jxh97/ | Matematika / Algebra a diskrétní matematika | Práce na příbuzné téma

Nástroj pro dokazování platnosti úsudku ve výrokové logice
 (Daniel Dobeš)

2023, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

http://hdl.handle.net/10084/150283 | 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

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

Automatizovaná dedukce ve výrokové logice
 (Lukáš BURYAN)

2015, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

http://theses.cz/id//4sky5t// | Aplikovaná informatika / Informatika a výpočetní technika - aplikovaná informatika | Práce na příbuzné téma

Simulace praktického využití výrokové logiky formou gamebooku.
 (Cecílie Wolfová)

2018, Bakalářská práce, Přírodovědecká fakulta / Univerzita Hradec Králové

http://evskp.uhk.cz/eB10750 | Matematika / Matematika se zaměřením na vzdělávání, Výtvarná tvorba se zaměřením na vzdělávání | 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

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//whdj89// | Matematika / Matematika - Informatika (dvouoborové) | Práce na příbuzné téma

Vytvoření sbírky řešených příkladů výrokové logiky a teorie množin pomocí aparátu Booleovy algebry
 (Ondřej KONOPÁČ)

2016, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//mi3wnp// | Aplikovaná matematika / Matematika-ekonomie se zaměřením na bankovnictví/pojišťovnictví | Práce na příbuzné téma

« 1 2 3 » (celkem 21 prací)