Magdaléna Majáková

Bakalářská práce

Nástroj na podporu výučby rezolučnej metódy

A Tool for Supporting the Resolution Method Teaching
Anotace:
Cieľom mojej bakalárskej práce je vytvoriť nástroj pre overovanie platnosti úsudkov pomocou rezolučnej metódy vo výrokovej logike a v predikátovej logike prvého rádu. Tento nástroj má formu webovej aplikácie, ktoré reaguje na vstup od užívateľa a pri jeho správnom zadaní vráti správny výsledok spolu s postupom. K správnemu vstupu bude užívateľa navigovať zobrazená nápoveda a zoznam pravidiel. Prvá …více
Abstract:
The goal of this thesis is to create a tool for verifying the validity of judgements in propositional logic and first-order predicate logic using the resolution method. This tool takes the form of a web application that respondsa to user input and when entered correctly, returns the correct result along with the procedure. The first part of this work will introduce the theory of propositional logic …více
 

Klíčová slova

Python logika výroková logika predikátová logika výukový nástroj rezolučná metóda dôkaz flask webová aplikácia

Keywords

Python logic propositional logic predicate logic didactic tool resolution method proof flask web application
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 30. 4. 2022
Identifikátor: http://hdl.handle.net/10084/147510

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

  • Obhajoba proběhla 30. 5. 2022
  • Vedoucí: Marek Menšík
  • Oponent: Adam Albert

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.