but.committee	prof. Ing. Jan M. Honzík, CSc. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (místopředseda) doc. RNDr. Michal Novák, Ph.D. (člen) Ing. Josef Strnadel, Ph.D. (člen) Ing. Igor Szőke, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm dostatečně (E). Otázky u obhajoby: Jaké jsou cílové aplikace, ve kterých je výhodné navrženou knihovnu použít? Jak je potřeba knihovnu rozšířit, aby byl bod 4 zadání splněn?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Dobai, Roland	cs
dc.contributor.author	Vasilišin, Maroš	cs
dc.contributor.referee	Mrázek, Vojtěch	cs
dc.date.created	2017	cs
dc.description.abstract	Táto bakalárska práca sa zaoberá návrhom a implementáciou knižnice v jazyku C pre manipuláciu Boolovych funkcií v Algebraickej Normálnej Forme. Väčšina existujúcich reprezentácií Boolovych funkcií je založená na binárnych rozhodovacích diagramoch. Algebraická Normálna Forma poskytuje oproti binárnym rozhodovacím diagramom určité výhody, napríklad tú, že sa dá z nej v lineárnom čase určiť Boolova hodnota funkcie. Implementovaná knižnica za pomoci jednoduchých štruktúr poskytuje efektívnu reprezentáciu Boolovej funkcie v programe. Výskumom sme zistili, že reprezentácia pomocou Algebraickej Normálnej Formy má svoj využitie, a v určitých prípadoch dosahuje lepšie výsledky ako reprezentácia pomocou binárnych rozhodovacích diagramov.	cs
dc.description.abstract	This bachelor thesis focuses on design and implementation of library in C language for manipulation od Boolean functions in Algebraic Normal Form. Majority of existing libraries for representation of Boolean functions is based on binary decision diagrams. Algebraic Normal Form presents several advantages over binary decision diagrams, for example Boolean value of function can be determined in linear time. Implemented library uses simple structures to effectively represent Boolean function in program. After experiments we determined that representation in Algebraic Normal Form has its applications, and in some cases it provides better results than representation in binary decision diagrams.	en
dc.description.mark	E	cs
dc.identifier.citation	VASILIŠIN, M. Knihovna pro boolovské funkce v algebraické normální formě [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	106156	cs
dc.identifier.uri	http://hdl.handle.net/11012/69658
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	Boolova funkcia	cs
dc.subject	Boolova algebra	cs
dc.subject	normálna forma	cs
dc.subject	algebraická normálna forma	cs
dc.subject	binárny rozhodovací diagram	cs
dc.subject	logické operácie	cs
dc.subject	C	cs
dc.subject	Boolean function	en
dc.subject	Boolean Algebra	en
dc.subject	normal form	en
dc.subject	algebraic normal form	en
dc.subject	binary decision diagram	en
dc.subject	logical operations	en
dc.subject	C	en
dc.title	Knihovna pro boolovské funkce v algebraické normální formě	cs
dc.title.alternative	Library for Boolean Functions in Algebraic Normal Form	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2017-06-13	cs
dcterms.modified	2020-05-10-16:12:48	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	106156	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 18:59:45	en
sync.item.modts	2025.01.15 12:46:54	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Knihovna pro boolovské funkce v algebraické normální formě

Files

Original bundle

Collections