Důkazové techniky ve výrokové logice

Hošťálek, Marek

Důkazové techniky ve výrokové logice

dc.contributor.advisor	Menšík, Marek	cs
dc.contributor.author	Hošťálek, Marek	cs
dc.contributor.referee	Vích, Lukáš	cs
dc.date.accepted	2013-08-12	cs
dc.date.accessioned	2013-10-20T17:36:04Z
dc.date.available	2013-10-20T17:36:04Z
dc.date.issued	2013	cs
dc.description	Import 21/10/2013	cs
dc.description.abstract	Systém, který bude výstupem této práce, bude sloužit pro dokazování platných úsudků výrokové logiky. Důkazové metody použité v této práci jsou důkazy tabulkovou metodou, sémantickým sporem, rezoluční metodou, přirozenou dedukcí a systém Hilbertova typu. Práce obsahuje jazyk výrokové logiky, teorii důkazových metod, popis použitých technologií a uživatelskou příručku.	cs
dc.description.abstract	The system, which will be the outcome of this work, will serve as proof of valid proofs of propositional logic. Proof methods used in this work are table method, semantic contradiction, resolution method, natural deduction and Hilbert principle. The work contains language of propositional logic, theory proofs methods, a details of the used technology and user manual.	en
dc.description.department	460 - Katedra informatiky	cs
dc.description.result	dobře	cs
dc.format.extent	2249296 bytes	cs
dc.format.mimetype	application/force-download	cs
dc.identifier.other	OSD002	cs
dc.identifier.sender	S2724	cs
dc.identifier.thesis	HOS0025_FEI_B2647_2612R025_2013
dc.identifier.uri	http://hdl.handle.net/10084/101086
dc.language.iso	cs	cs
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.rights.access	openAccess
dc.subject	Výroková logika, tabulková metoda, sémantický spor, rezoluční metoda, přirozená dedukce, Hilbertův princip, JavaFX, návrhový vzor Kompozit, návrhový vzor Builder.	cs
dc.subject	Propositional logic, table method, semantic contradiction, resolution method, nature deduction, Hilbertův principle, JavaFX, design pattern Composite, design pattern Builder.	en
dc.thesis.degree-branch	Informatika a výpočetní technika	cs
dc.thesis.degree-grantor	Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	cs
dc.thesis.degree-level	Bakalářský studijní program	cs
dc.thesis.degree-name	Bc.	cs
dc.thesis.degree-program	Informační a komunikační technologie	cs
dc.title	Důkazové techniky ve výrokové logice	cs
dc.title.alternative	Proofs in Propositional Logic	en
dc.type	Bakalářská práce	cs

Files

Original bundle

Now showing 1 - 4 out of 4 results

Name:: HOS0025_FEI_B2647_2612R025_2013.pdf
Size:: 2.15 MB
Format:: Adobe Portable Document Format

Download

Name:: HOS0025_FEI_B2647_2612R025_2013_priloha.zip
Size:: 1.44 MB
Format:: Unknown data format

Download

Name:: HOS0025_FEI_B2647_2612R025_2013_posudek_vedouci_Mensik_Marek.pdf
Size:: 51.24 KB
Format:: Adobe Portable Document Format
Description:: Posudek vedoucího – Menšík, Marek

Download

Name:: HOS0025_FEI_B2647_2612R025_2013_posudek_oponent_Vich_Lukas.pdf
Size:: 51.77 KB
Format:: Adobe Portable Document Format
Description:: Posudek oponenta – Vích, Lukáš

Download

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)