Podobnost formulí ve VL

Lukáš Rumpala

Bakalářská práce

Similiarity of Sentenses in Propositional Logic

Anotace:

Tato bakalářská práce se zabývá problematikou výrokových formulí, jejich porovnáním a vyhodnocením jejich vzájemné podobnosti. Je v ní uveden základní popis výrokové logiky a obecných pravidel ekvivalentních úprav formulí ve výrokové logice. Jádro této bakalářské práce představuje navržený algoritmus pro porovnání dvou výrokových formulí včetně jeho podrobného popisu a grafického znázornění. Navržený algoritmus je dále implementován v programovacím jazyce C#. Výsledný program dopomohl k otestování správné funkčnosti a doladění navrhovaného algoritmu do jeho konečné podoby. Tato bakalářská práce obsahuje také popis některých částí této implementace.

Abstract:

This bachelor thesis deals with propositional formulas, their comparing and evaluating their mutual similarities. It contains a basic description of propositional logic and the general rules for equivalent adjustment of propositional formulas. The core of this thesis presents an algorithm designed for comparing two propositional formulas, including a detailed description and its graphical representation. The proposed algorithm is also implemented in programming language C #. The resulting program helped to test the proper function and tuning of the proposed algorithm to its final form. This thesis also contains a description of certain segments of this implementation.

Klíčová slova

výroková logika, formule, výroková proměnná, algoritmus, ekvivalence, implikace, konjunkce, disjunkce, negace, binární strom

Keywords

propositional logic, formulas, propositional variable, algorithm, equivalence, implication, conjunction, disjunction, negation, binary tree

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 20. 7. 2012

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

• Obhajoba proběhla 15. 8. 2012
• Vedoucí: Lukáš Vích
• Oponent: Adam Farnik, Adam Farnik

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika