Zpět na vyhledávání

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

predicate

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

« 1 2 » (celkem 18 prací)
Predicate Abstraction of DiVinE Models
 (Jiří Novosad)

2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/qpaxh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Subject-Predicate Inversion in Reporting Clauses of Direct Reported Speech
 (Michaela HETCLOVÁ)

2017, Bakalářská práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//aa77ll// | Filologie / Anglická filologie | Práce na příbuzné téma

Popis regulárních jazyků pomocí predikátové logiky
 (Martin Jonáš)

2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/kfobw/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Komponenta výukového serveru TI - Predikátová logika
 (Michaela Lubyová)

2019, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

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

Současná dynamika ve shodě přísudku s několikanásobným podmětem
 (Nikola POPELKOVÁ)

2021, Bakalářská práce, Pedagogická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//q08t56// | Specializace v pedagogice / Český jazyk a literatura se zaměřením na vzdělávání a společenské vědy se zaměřením na vzdělávání | Práce na příbuzné téma

Složený přísudek v ruštině a jeho vyjádření v češtině
 (Maciej Kubaczyński)

2013, Bakalářská práce, Filozofická fakulta / Masarykova univerzita

https://is.muni.cz/th/rnx75/ | Filologie / Ruský jazyk a literatura | Práce na příbuzné téma

Převod české věty na strukturu predikát-argument
 (Karel Vaculík)

2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/z72aw/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma

Podpora stromové reprezentace úloh predikátové logiky
 (Petr VESELÝ)

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

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

Inteligentní vyhledávání predikátů -- TextRunner Search pro češtinu
 (Barbora Bajtošová)

2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/o3ptg/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma

Program pro výuku a testování základů výrokové a predikátové logiky
 (Tomáš Michek)

2009, Bakalářská práce, Fakulta elektrotechniky a informatiky / Univerzita Pardubice

http://theses.cz/id//j2qyf7// | Informační technologie / | Práce na příbuzné téma

« 1 2 » (celkem 18 prací)