Zpět na vyhledávání

Daniel Honus

Bakalářská práce

Nástroj pro dokazování platnosti úsudků pomocí Vennových diagramů

A Tool for Proving the Argument Validity Using Venn Diagrams
Anotace:
Cílem této bakalářské práce je vytvořit interaktivní nástroj pro dokazování platnosti úsudků pomocí Vennových diagramů v predikátové logice 1. řádu. Práce nejdříve v první části popisuje jazyk výrokové a predikátové logiky, formalizaci přirozeného jazyka do PL1 a dokazování úsudků metodou Vennových diagramů. Pozornost je také věnována syntaktické analýze vstupních řetězců. V druhé části se zaměřuje …více
Abstract:
The goal of this thesis is the creation of an interactive tool for proving argument validity in first-order predicate logic using Venn diagrams. The thesis first describes the language of propositional and predicate logic, the formalization of natural language in PL1, and the proof of arguments using Venn diagrams. Syntactic analysis of input strings is also discussed. The second part focuses on the …více
 

Klíčová slova

predikátová logika výroková logika PL1 Vennovy diagramy syntaktická analýza

Keywords

predicate logic propositional logic PL1 Venn diagrams syntactic analysis
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 4. 7. 2023
Identifikátor: http://hdl.handle.net/10084/151690

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

  • Obhajoba proběhla 8. 8. 2023
  • Vedoucí: Marek Menšík
  • Oponent: Pavla Dráždilová, Pavla Dráždilová

Citační záznam

Citovat tuto práci

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

Bakalářský studijní program:
Informatika

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

Seznam prací, které mají shodná klíčová slova.