Zpět na vyhledávání

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

Výroková logika

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

« 1 2 » (celkem 15 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

Aplikace pro výuku výrokové logiky
 (Vojtěch Dvořák)

2024, Bakalářská práce, Vysoká škola polytechnická Jihlava

• http://theses.cz/id//sk9zu6// | 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

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

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

« 1 2 » (celkem 15 prací)