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 11 prací)
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

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

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

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

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

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

Tvorba nástroje na editaci a export sémantického tabla pro formální logické systémy
 (Tomáš STUPKA)

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

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

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

Rezoluční princip v umělé inteligenci a logice
 (Silvie MACOSZKOVÁ)

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

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

« 1 2 » (celkem 11 prací)