Interaktivní nástroj pro dokazování za pomocí přirozené dedukce

Fojtík, Jan

Interaktivní nástroj pro dokazování za pomocí přirozené dedukce

dc.contributor.advisor	Menšík, Marek
dc.contributor.author	Fojtík, Jan
dc.contributor.referee	Albert, Adam
dc.date.accepted	2026-06-04
dc.date.accessioned	2026-09-02T14:47:23Z
dc.date.available	2026-09-02T14:47:23Z
dc.date.issued	2026
dc.description.abstract	Tato diplomová práce má za cíl vyvinout interaktivní nástroj pro podporu dokazování za pomocí přirozené dedukce v rámci výrokové a predikátové logiky 1. řádu. Zaměřuje se na studenty klasické logiky, kterým má pomoci při ověřování jejich schopností v oblasti logického dokazování. Stěžejní částí práce je návrh a realizace uživatelsky přívětivého prostředí, které usnadní zadávání logických formulí a provádění dedukčních kroků.	cs
dc.description.abstract	This thesis aims to develop an interactive tool for supporting proofs using natural deduction in propositional and predicate logic. It is designed for students of classical logic, helping them verify their skills in logical reasoning. The core part of the thesis is the design and implementation of a user-friendly interface that facilitates the input of logical formulas and the execution of deduction steps.	en
dc.description.department	460 - Katedra informatiky	cs
dc.description.result	výborně	cs
dc.format.extent	1961117 bytes
dc.format.mimetype	application/pdf
dc.identifier.other	OSD002
dc.identifier.sender	S2724
dc.identifier.thesis	FOJ0127_FEI_N0613A140034_2026
dc.identifier.uri	http://hdl.handle.net/10084/161335
dc.language.iso	cs
dc.publisher	Vysoká škola báňská – Technická univerzita Ostrava	cs
dc.rights.access	openAccess
dc.subject	Výroková logika	cs
dc.subject	Predikátová logika	cs
dc.subject	Přirozená dedukce	cs
dc.subject	Interaktivní nástroj	cs
dc.subject	Propositional logic	en
dc.subject	Predicate logic	en
dc.subject	Natural deduction	en
dc.subject	Interactive tool	en
dc.thesis.degree-grantor	Vysoká škola báňská – Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	cs
dc.thesis.degree-level	Magisterský studijní program	cs
dc.thesis.degree-name	Ing.
dc.thesis.degree-program	Informatika	cs
dc.title	Interaktivní nástroj pro dokazování za pomocí přirozené dedukce	cs
dc.title.alternative	An Interactive Tool for Proving the Argument Validity Using Natural Deduction	en
dc.type	Diplomová práce	cs
local.files.count	6
local.files.size	3311632
local.has.files	yes