Efektivita rezolučních strategií ve dvouhodnotové logice – Bc. Silvie MACOSZKOVÁ
Bc. Silvie MACOSZKOVÁ
Diplomová práce
Efektivita rezolučních strategií ve dvouhodnotové logice
Efectiveness of resolution strategies in two-valued logic
Anotace:
Práce prohlubuje znalosti týkající se rezolučního principu ve dvouhodnotové logice a také ukazuje efektivitu rezolučních strategií při automatickém dokazování vět. První část se zabývá popisem předpokladů k pochopení pokročilých technik rezoluce, na které navazuje popis jednotlivých strategií, jako binární rezoluce, hyper-rezoluce, Boolean-ring rezoluce, lock rezoluce a jiných. Další část se týká zpracování …víceAbstract:
Thesis extends knowledge concerning resolution principle in two-valued logic and also shows the effectiveness of the resolution strategies in automated theorem proving. The first part describes the preconditions for understanding the advanced techniques of resolution, which is followed by a description of strategies, such as binary resolution, hyper-resolution, Boolean-ring resolution, lock resolution …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 14. 5. 2010
Zveřejnit od: 14. 5. 2010
Obhajoba závěrečné práce
- Obhajoba proběhla 3. 6. 2010
- Vedoucí: RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
Citační záznam
Jak správně citovat práci
MACOSZKOVÁ, Silvie. Efektivita rezolučních strategií ve dvouhodnotové logice. Ostrava, 2010. diplomová práce (Mgr.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta
Plný text práce
Právo: Autor si přeje zpřístupnit práci veřejnosti až od 14. 05. 2010
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 14. 5. 2010 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaOSTRAVSKÁ UNIVERZITA V OSTRAVĚ
Přírodovědecká fakultaMagisterský studijní program / obor:
Informatika / Informační systémy
Práce na příbuzné téma
- Žádné práce na příbuzné téma.