| dc.contributor.advisor | Menšík, Marek | |
| dc.contributor.author | Patschka, Vojtěch | |
| dc.date.accessioned | 2019-06-26T04:33:08Z | |
| dc.date.available | 2019-06-26T04:33:08Z | |
| dc.date.issued | 2019 | |
| dc.identifier.other | OSD002 | |
| dc.identifier.uri | http://hdl.handle.net/10084/136256 | |
| dc.description.abstract | V mé práci se zabývám vytvořením interaktivního nástroje pro dokazování pomocí přirozené dedukce v jazyce TIL-Script. Pro použití nástroje shrnu základy logických kalkulů, teorie Transparentní intenzionální logiky a její komputační variantu TIL-Script. V práci uvádím úplný seznam všech pravidel pro přirozenou dedukci, které je možno v nástroji použít a výslednou analýzu, návrh a implementaci nástroje. | cs |
| dc.description.abstract | My work is to create an interactive tool for proving using natural deduction in TIL-Script language, To use the tool I will summarize the basics of logical calculus, the theory of Transparent intensional language and it’s computational variant TIL-Script. In the work I present complete list of all the rules for natural deduction that can be used in the tool and final analysis, design and implementation of the tool. | en |
| dc.format.extent | 1678364 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | cs | |
| dc.publisher | Vysoká škola báňská - Technická univerzita Ostrava | cs |
| dc.subject | přirozená dedukce, logika, TIL, axiom, odvozovací pravidlo, důkaz | cs |
| dc.subject | natural deduction, logic, TIL, axiom, deduction rule, proof | en |
| dc.title | Dokazování pomocí přirozené dedukce v jazyku TIL-Script | cs |
| dc.title.alternative | Natural Deduction System for the TIL-Script Language | en |
| dc.type | Diplomová práce | cs |
| dc.contributor.referee | Duží, Marie | |
| dc.date.accepted | 2019-05-29 | |
| dc.thesis.degree-name | Ing. | |
| dc.thesis.degree-level | Magisterský studijní program | cs |
| dc.thesis.degree-grantor | Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky | cs |
| dc.description.department | 460 - Katedra informatiky | cs |
| dc.thesis.degree-program | Informační a komunikační technologie | cs |
| dc.thesis.degree-branch | Informatika a výpočetní technika | cs |
| dc.description.result | výborně | cs |
| dc.identifier.sender | S2724 | |
| dc.identifier.thesis | PAT0059_FEI_N2647_2612T025_2019 | |
| dc.rights.access | openAccess | |