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

formule vyrokove logiky

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

« 1 2 » (celkem 12 prací)
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

Seznam prací, které mají shodná klíčová slova.

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

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

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í systém pro řešení příkladů výrokové logiky
 (Ladislav Barabáš)

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

• http://hdl.handle.net/10084/93075 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Podobnost formulí ve VL
 (Lukáš Rumpala)

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

• http://hdl.handle.net/10084/95456 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Modální logika
 (Pavla Míznerová)

2014, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

• https://is.muni.cz/th/c2btw/ | Matematika / Statistika a analýza dat | Práce na příbuzné téma

« 1 2 » (celkem 12 prací)