Prohlížení Diplomové práce - 18102 dle předmětu "proof assistant"
Zobrazují se záznamy 1-1 z 1
-
Interaktivní dokazovací asistent pro výuku formálních metod
; Vedoucí práce: Ratschan Stefan; Oponent práce: Daněček Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-09)Tato práce se věnuje implementaci dokazovacího asistenta. Odvozovací pravidla dokazovacího kalkulu používaná asistentem jsou verzí přirozené dedukce. V rámci této práce je problém nejdříve představen po teoretické stránce. ...