| dc.contributor.advisor | Menšík, Marek | cs |
| dc.contributor.author | Hošťálek, Marek | cs |
| dc.date.accessioned | 2013-10-20T17:36:04Z | |
| dc.date.available | 2013-10-20T17:36:04Z | |
| dc.date.issued | 2013 | cs |
| dc.identifier.other | OSD002 | cs |
| dc.identifier.uri | http://hdl.handle.net/10084/101086 | |
| 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.format.extent | 2249296 bytes | cs |
| dc.format.mimetype | application/force-download | cs |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoká škola báňská - Technická univerzita Ostrava | cs |
| 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.title | Důkazové techniky ve výrokové logice | cs |
| dc.title.alternative | Proofs in Propositional Logic | en |
| dc.type | Bakalářská práce | cs |
| dc.contributor.referee | Vích, Lukáš | cs |
| dc.date.accepted | 2013-08-12 | cs |
| dc.thesis.degree-name | Bc. | cs |
| dc.thesis.degree-level | Bakalářský studijní program | cs |
| dc.thesis.degree-grantor | Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky | cs |
| dc.description.department | 460 - Katedra informatiky | cs |
| dc.thesis.degree-program | Informační a komunikační technologie | cs |
| dc.thesis.degree-branch | Informatika a výpočetní technika | cs |
| dc.description.result | dobře | cs |
| dc.identifier.sender | S2724 | cs |
| dc.identifier.thesis | HOS0025_FEI_B2647_2612R025_2013 | |
| dc.rights.access | openAccess | |