Dokazování pomocí přirozené dedukce v jazyku TIL-Script – Vojtěch Patschka
Vojtěch Patschka
Master's thesis
Dokazování pomocí přirozené dedukce v jazyku TIL-Script
Natural Deduction System for the TIL-Script Language
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 …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 30. 4. 2019
Identifier:
http://hdl.handle.net/10084/136256
Thesis defence
- Date of defence: 29. 5. 2019
- Supervisor: Marek Menšík
- Reader: Marie Duží
Citation record
ISO 690-compliant citation record:
PATSCHKA, Vojtěch. \textit{Dokazování pomocí přirozené dedukce v jazyku TIL-Script}. Online. Master's thesis. Ostrava: VŠB - Technical University of Ostrava, Fakulta elektrotechniky a informatiky. 2019. Available from: https://theses.cz/id/vtazjp/.
Full text of thesis
Accessibility: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS)se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita OstravaVŠB - Technical University of Ostrava
Fakulta elektrotechniky a informatikyMaster programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
- No theses on a related topic available.