Interaktivní dokazovací asistent pro výuku formálních metod
Interactive Proof Assistant for Formal Methods Education
dc.contributor.advisor | Ratschan Stefan | |
dc.contributor.author | Martin Bedrna | |
dc.date.accessioned | 2024-02-09T23:51:51Z | |
dc.date.available | 2024-02-09T23:51:51Z | |
dc.date.issued | 2024-02-09 | |
dc.identifier | KOS-1240469439205 | |
dc.identifier.uri | http://hdl.handle.net/10467/113751 | |
dc.description.abstract | 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. Následně je provedena analýza a softwarový návrh. Nakonec je popsána implementace vytvořeného softwaru. | cze |
dc.description.abstract | This thesis focuses on the implementation of a proof assistant. The inference rules of the proof calculus used by the assistant are a version of natural deduction. In the context of this work, the problem is first introduced theoretically. Subsequently, an analysis and software design are carried out. Finally, the implementation of the created software is described. | eng |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html | cze |
dc.subject | dokazovací asistent | cze |
dc.subject | přirozená dedukce | cze |
dc.subject | nástroj pro podporu výuky | cze |
dc.subject | React aplikace | cze |
dc.subject | proof assistant | eng |
dc.subject | natural deduction | eng |
dc.subject | educational support tool | eng |
dc.subject | React app | eng |
dc.title | Interaktivní dokazovací asistent pro výuku formálních metod | cze |
dc.title | Interactive Proof Assistant for Formal Methods Education | eng |
dc.type | diplomová práce | cze |
dc.type | master thesis | eng |
dc.contributor.referee | Daněček Jiří | |
theses.degree.discipline | Softwarové inženýrství | cze |
theses.degree.grantor | katedra softwarového inženýrství | cze |
theses.degree.programme | Informatika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Diplomové práce - 18102 [942]