Hornovské formule
Název práce v jazyce práce (slovenština): | Hornovské formule |
---|---|
Název práce v češtině: | Hornovské formule |
Název v anglickém jazyce: | Horn Formulas |
Akademický rok vypsání: | 2005/2006 |
Typ práce: | diplomová práce |
Jazyk práce: | slovenština |
Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
Vedoucí / školitel: | prof. RNDr. Ondřej Čepek, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 25.11.2005 |
Datum zadání: | 25.11.2005 |
Datum a čas obhajoby: | 02.02.2010 00:00 |
Datum odevzdání elektronické podoby: | 02.02.2010 |
Datum proběhlé obhajoby: | 02.02.2010 |
Oponenti: | RNDr. Petr Kučera, Ph.D. |
Zásady pro vypracování |
Student se podrobně seznámí s doporučenou literaturou pojednávající o Booleovských funkcích obecně a zvláště se zaměří na pasáže týkající se třídy Hornovských funkcí. Prostuduje různé možnosti reprezentace Hornovských funkcí se zvláštním zřetelem na reprezentace pomocí normálních forem. Úkolem diplomanta bude zpracovat přehled o složitosti problému hledání minimální reprezentace Hornovské funkce (pro různé typy reprezentací) a případně zkoumat vlastnosti těchto reprezentací a nové algoritmy (včetně aproximačních) pro hledání těchto reprezentací. |
Seznam odborné literatury |
Boolean Functions and Computation Models
Clote, Peter; Kranakis, Evangelos Springer Verlag 2002 ISBN: 3-540-59436-1 Boolean Functions : Theory, Algorithms, and Applications Crama, Yves; Hammer, Peter L. dosud nepublikovaný obsáhlý manuskript dostupný na http://www.rogp.hec.ulg.ac.be/Crama/Publications/BookPage.html |
Předběžná náplň práce |
Toto téma je vhodné pro studenty kteří navštìvovali přednášku Booleovské funkce a jejich aplikace, na které je několik otevřených otázek spojených s problematikou Hornovských formulí probíráno. Konkrétní téma záleží na vzájemné dohodě se školitelem. |