Počet záznamů: 1
Evoluční deduktivní systémy
Údaje o názvu Evoluční deduktivní systémy [rukopis] / Tomáš Konečný Další variantní názvy Evoluční deduktivní systémy Osobní jméno Konečný, Tomáš (autor diplomové práce nebo disertace) Překl.náz Evolutionary deductive systems Vyd.údaje 2012 Fyz.popis 42 : tab. Poznámka Ved. práce Vilém Vychodil Oponent Tomáš Kühr Dal.odpovědnost Vychodil, Vilém (vedoucí diplomové práce nebo disertace) Kühr, Tomáš (oponent) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Forma, žánr diplomové práce master's theses MDT (043)378.2 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Mgr. Studijní program Navazující Studijní program Informatika Studijní obor Informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 00105825-960296794.pdf 11 203.1 KB 02.04.2012 Posudek Typ posudku 00105825-ved-688969448.pdf Posudek vedoucího 00105825-opon-121126530.pdf Posudek oponenta
Cílem práce je rozvinout evoluční techniky pro automatické dokazování. Podmínkou úspěšného řešení práce je schopnost vstřebat pojmy z matematické logiky a umět s nimi pracovat. Znalost programování v Common LISP není podmínkou, ale je vítána.
Počet záznamů: 1