Minimalizace normálních tvarů
Minimal normal forms
dc.contributor.advisor | Starý Jan | |
dc.contributor.author | Klára Červenková | |
dc.date.accessioned | 2023-03-23T09:25:15Z | |
dc.date.available | 2023-03-23T09:25:15Z | |
dc.date.issued | 2023-02-09 | |
dc.identifier | KOS-1180078427605 | |
dc.identifier.uri | http://hdl.handle.net/10467/107259 | |
dc.description.abstract | Cílem této bakalářské práce je vytvořit program, který uživateli vrátí, na základě jím zadané formule výrokové logiky, minimální disjunktivní, resp. konjunktivní normální tvary této výrokové formule. Přípravné analytické práce, které zahrnují definování pojmu minimální normální tvar výrokové formule a popis algoritmu Quine-McCluskey, který tento tvar hledá, jsou následovány návrhem formálního jazyka v rámci ASCII, aby bylo možné zachytit syntaxi výrokových formulí, a návrhem programu jako takového. Implementace syntaktického analyzátoru formule výrokové logiky, hledání disjunktivního, resp. konjunktivního normálního tvaru včetně vlastní minimalizace je provedena v programovacím jazyce C. | cze |
dc.description.abstract | The aim of this bachelor's thesis is to create a program that returns to the user, based on a given formula of propositional logic, the minimal disjunctive, resp. conjunctive normal forms of this propositional formula. Preparatory analytical work, which included defining the notion of the minimal normal form of a propositional formula and describing the Quine-McCluskey's algorithm searching for that form, is followed by the design of a formal ASCII language to capture the syntax of propositional formulas and the design of the program as such. The implementation of a parser of propositional formulas, a search for the disjunctive, resp. conjunctive normal form, including the minimization itself, is done using the programming language C. | eng |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html | cze |
dc.subject | minimalizace výrokových formulí | cze |
dc.subject | disjunktivní normální tvar | cze |
dc.subject | konjunktivní normální tvar | cze |
dc.subject | algoritmus Quine-McCluskey | cze |
dc.subject | syntaktický analyzátor výrokových formulí | cze |
dc.subject | minimization of propositional formulas | eng |
dc.subject | disjunctive normal form | eng |
dc.subject | conjunctive normal form | eng |
dc.subject | Quine-McCluskey's algorithm | eng |
dc.subject | parser of propositional formulas | eng |
dc.title | Minimalizace normálních tvarů | cze |
dc.title | Minimal normal forms | eng |
dc.type | bakalářská práce | cze |
dc.type | bachelor thesis | eng |
dc.date.accepted | 2023-02-14 | |
dc.contributor.referee | Šimeček Ivan | |
theses.degree.discipline | Webové a softwarové inženýrství | cze |
theses.degree.grantor | katedra softwarového inženýrství | cze |
theses.degree.programme | Informatika 2009 | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Bakalářské práce - 18102 [1724]