Number of the records: 1
Evoluční deduktivní systémy
Title statement Evoluční deduktivní systémy [rukopis] / Tomáš Konečný Additional Variant Titles Evoluční deduktivní systémy Personal name Konečný, Tomáš (dissertant) Translated title Evolutionary deductive systems Issue data 2012 Phys.des. 42 : tab. Note Ved. práce Vilém Vychodil Oponent Tomáš Kühr Another responsib. Vychodil, Vilém (thesis advisor) Kühr, Tomáš (opponent) Another responsib. Univerzita Palackého. Katedra informatiky (degree grantor) Form, Genre diplomové práce master's theses UDC (043)378.2 Country Česko Language čeština Document kind PUBLIKAČNÍ ČINNOST Title Mgr. Degree program Navazující Degree program Informatika Degreee discipline Informatika book
Kvalifikační práce Downloaded Size 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.
Number of the records: 1