Number of the records: 1  

Evoluční deduktivní systémy

  1. Title statementEvoluční deduktivní systémy [rukopis] / Tomáš Konečný
    Additional Variant TitlesEvoluční deduktivní systémy
    Personal name Konečný, Tomáš (dissertant)
    Translated titleEvolutionary deductive systems
    Issue data2012
    Phys.des.42 : tab.
    NoteVed. 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 kindPUBLIKAČNÍ ČINNOST
    TitleMgr.
    Degree programNavazující
    Degree programInformatika
    Degreee disciplineInformatika
    book

    book

    Kvalifikační práceDownloadedSizedatum zpřístupnění
    00105825-960296794.pdf10203.1 KB02.04.2012
    PosudekTyp posudku
    00105825-ved-688969448.pdfPosudek vedoucího
    00105825-opon-121126530.pdfPosudek 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  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.