Aplikace pro výuku výrokové logiky

Vojtěch Dvořák

Bachelor's thesis

Application for Teaching Propositional Logic

Anotácia:

Cílem práce je vytvořit uživatelsky přívětivou desktopovou aplikaci, která bude sloužit jako učební pomůcka při řešení příkladů z výrokové logiky v předmětu "Diskrétní struktury". V teoretické části student představí potřebné základy a pravidla výrokové logiky. V praktické části student popíše použité prostředky, postup při vytváření aplikace a způsob testování její funkčnosti. Požadované funkce aplikace: 1) vytvoření pravdivostní tabulky pro zadanou formuli, 2) převod zadané formule na normální formu (CNF, DNF), 3) zjednodušování formulí na základě logických pravidel, 4) negace formulí, 5) formalizace vět vyjádřených v přirozeném jazyce, přičemž tyto věty budou dostupné ve vytvořené databázi příkladů. Programovacím jazykem může být C, C# , C++ nebo Python. Součástí práce bude návod k použití aplikace.

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 27. 6. 2024

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

Vysoká škola polytechnická Jihlava

Bachelor programme / odbor:
Aplikovaná informatika / Applied Informatics