Lucie ŠURÁŇOVÁ
Bachelor's thesis
Vyhodnocení formulí výrokové logiky
Evaluation of formulas of propositional logic
Abstract:
Práce je zaměřena na různé metody vyhodnocování formulí klasické výrokové logiky. Kromě klasické tabulkové metody bude ukázáno, jak lze s formulemi pracovat analogicky jako s algebraickými výrazy. První kapitola pojednává o vybraných termínech výrokové logiky, jejichž znalost je pro vyhodnocování nezbytná. Druhá kapitola se zabývá různými metodami vyhodnocování formulí. Poslední kapitola je věnována …moreAbstract:
Bachelor's thesis focuses on various methods of evaluation formulas of classical propositional logic. To evaluate formulas of classical propositional logic will be used the following methods: expression tree, truth table, numerical evaluation of formulas, rules of replacement. The first chapter describes the terms of propositional logic, whose knowledge is very important to evaluations. The next charter …more
Language used: Czech
Date on which the thesis was submitted / produced: 5. 5. 2016
Accessible from:: 5. 5. 2016
Thesis defence
- Date of defence: 1. 6. 2016
- Supervisor: RNDr. Miloslav Závodný
Citation record
The right form of listing the thesis as a source quoted
ŠURÁŇOVÁ, Lucie. Vyhodnocení formulí výrokové logiky. Olomouc, 2016. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta
Full text of thesis
Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 5.5.2016
Contents of on-line thesis archive
Published in Theses:- Soubory jsou od 5. 5. 2016 dostupné: světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaPALACKÝ UNIVERSITY OLOMOUC
Faculty of ScienceBachelor programme / field:
Applied Mathematics / Mathematics-Economics of Banking/Insurance Systems
Theses on a related topic
-
Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)
Radek LIPENSKÝ -
Interaktivní nástroj pro podporu výuky úvodu do matematické logiky
Martin Kopelec -
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
Michael BAJER -
Program na podporu výuky logiky
Iva NAVRÁTILOVÁ
Name
Posted by
Uploaded/Created
Rights