Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 379)
Detail práce
   Přihlásit přes CAS
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.
 
Univerzita Karlova | Informační systém UK