Dokazování pomocí přirozené dedukce v jazyku TIL-Script

Patschka, Vojtěch

EN SKPřihlásit se Přihlásit se (EduID)

Theses vtazjp

Dokazování pomocí přirozené dedukce v jazyku TIL-Script – Vojtěch Patschka

Zpět na vyhledávání

Vojtěch Patschka

Diplomová práce

Dokazování pomocí přirozené dedukce v jazyku TIL-Script

Natural Deduction System for the TIL-Script Language

Anotace:

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 …více

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 …více

Klíčová slova

přirozená dedukce logika TIL axiom odvozovací pravidlo důkaz

Keywords

natural deduction logic TIL axiom deduction rule proof

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 30. 4. 2019

Identifikátor: http://hdl.handle.net/10084/136256

Obhajoba závěrečné práce

Obhajoba proběhla 29. 5. 2019
Vedoucí: Marek Menšík
Oponent: Marie Duží

Citační záznam

Citovat tuto práci

Citace dle ISO 690:

PATSCHKA, Vojtěch. \textit{Dokazování pomocí přirozené dedukce v jazyku TIL-Script} Online. Diplomová práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2019. Dostupné z: https://theses.cz/id/vtazjp/. [cit. 2024-04-16].

@MastersThesis{Patschka2019thesis,
AUTHOR = "Patschka, Vojtěch",
TITLE = "Dokazování pomocí přirozené dedukce v jazyku TIL-Script [online]",
YEAR = "2019 [cit. 2024-04-16]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatikyOstrava",
NOTE = "SUPERVISOR: Marek Menšík",
URL = "https://theses.cz/id/vtazjp/",
}

@MastersThesis{Patschka2019thesis,
AUTHOR = {Patschka, Vojtěch},
TITLE = {Dokazování pomocí přirozené dedukce v jazyku TIL-Script},
YEAR = {2019},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky},
LOCATION = {Ostrava},
SUPERVISOR = {Marek Menšík},
URL = {https://theses.cz/id/vtazjp/},
URL_DATE = {2024-04-16},
}

{{Citace kvalifikační práce
 | příjmení = Patschka
 | jméno = Vojtěch
 | instituce = Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky
 | titul = Dokazování pomocí přirozené dedukce v jazyku TIL-Script
 | url = https://theses.cz/id/vtazjp/
 | typ práce = Diplomová práce
 | vedoucí = Marek Menšík
 | rok = 2019
 | počet stran =
 | strany =
 | citace = 2024-04-16
 | poznámka =
 | jazyk = 
}}

Plný text práce

Právo: 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.

Obsah online archivu závěrečné práce

Zveřejněno v Theses:

autentizovaným zaměstnancům ze stejné školy/fakulty

Jak jinak získat přístup k textu

Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita Ostrava

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

Práce na příbuzné téma

Žádné práce na příbuzné téma.