Lukáš BURYAN
Bachelor's thesis
Automatizovaná dedukce ve výrokové logice
An automated deduction in propositional logic
Abstract:
V této práci byla vytvořena aplikace v jazyce Java, která automatizovaně ověřuje platnost logického důsledku oproti zadané množině předpokladů ve výrokové logice. Je zde popsán úvod do výrokové logiky a jejího jazyka. Dále jsou zde probádány poznatky důležité pro dedukci ve výrokové logice a její automatizaci v počítačových algoritmech. Součástí práce je seznámení s principy tvorby znalostních bází …moreAbstract:
In this bachelor thesis was created an Java application that automatically validates the logical consequence in relation to a entered set of hypotheses in propositional calculus. There are described an introduction to propositional calculus and its L language. There are also researched knowledge, which are important for deduction in propositional calculus and its automation in computer algorithms. …more
Language used: Czech
Date on which the thesis was submitted / produced: 22. 4. 2015
Accessible from:: 22. 4. 2015
Thesis defence
- Date of defence: 18. 5. 2015
- Supervisor: RNDr. Martin Kotyrba, Ph.D.
Citation record
The right form of listing the thesis as a source quoted
BURYAN, Lukáš. Automatizovaná dedukce ve výrokové logice. Ostrava, 2015. bakalářská práce (Bc.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta
Full text of thesis
Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 22.4.2015
Contents of on-line thesis archive
Published in Theses:- Soubory jsou od 22. 4. 2015 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaUniversity of Ostrava
Faculty of ScienceBachelor programme / field:
Applied Information Science / Information Science and Computer Technology - Applied Information Science
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Ý -
Matematická logika ve výuce na středních školách
Marika Kaňová -
Efektové algebry a kvantové logiky
Roman Štěpánek -
Klasická výroková logika
Jakub HRBEK -
Gradované úlohy k tématu množiny a výroková logika
Dita VANDUCHOVÁ -
Interaktivní nástroj pro podporu výuky úvodu do matematické logiky
Martin Kopelec -
Aplikace pro výuku výrokové logiky
Vojtěch Dvořák -
Aktualizace LMS Moodle modulu pro kurz Logika pro informatiky s interaktivními prvky výuky
Zuzana MICHÁLKOVÁ