Efektivita rezolučních strategií ve dvouhodnotové logice

MACOSZKOVÁ, Silvie

EN SKPřihlásit se Přihlásit se (EduID)

Theses mnixbw

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íce

Abstract:

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

Klíčová slova

Logická dedukce automatické dokazování vět rezoluce rezoluční strategie uspořádání.

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

Citovat tuto práci

Citace dle ISO 690:

MACOSZKOVÁ, Silvie. \textit{Efektivita rezolučních strategií ve dvouhodnotové logice}. Online. Diplomová práce. Ostrava: Ostravská univerzita, Přírodovědecká fakulta. 2010. Dostupné z: https://theses.cz/id/mnixbw/.

@MastersThesis{MACOSZKOVA2010thesis,
AUTHOR = "MACOSZKOVÁ, Silvie",
TITLE = "Efektivita rezolučních strategií ve dvouhodnotové logice [online]",
YEAR = "2010 [cit. 2024-05-29]",
TYPE = "Diplomová práce",
SCHOOL = "Ostravská univerzita, Přírodovědecká fakultaOstrava",
NOTE = "SUPERVISOR: RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.",
URL = "https://theses.cz/id/mnixbw/",
}

@MastersThesis{MACOSZKOVA2010thesis,
AUTHOR = {MACOSZKOVÁ, Silvie},
TITLE = {Efektivita rezolučních strategií ve dvouhodnotové logice},
YEAR = {2010},
TYPE = {Diplomová práce},
INSTITUTION = {Ostravská univerzita, Přírodovědecká fakulta},
LOCATION = {Ostrava},
SUPERVISOR = {RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.},
URL = {https://theses.cz/id/mnixbw/},
URL_DATE = {2024-05-29},
}

{{Citace kvalifikační práce
 | příjmení = MACOSZKOVÁ
 | jméno = Silvie
 | instituce = Ostravská univerzita, Přírodovědecká fakulta
 | titul = Efektivita rezolučních strategií ve dvouhodnotové logice
 | url = https://theses.cz/id/mnixbw/
 | typ práce = Diplomová práce
 | vedoucí = RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.
 | rok = 2010
 | počet stran =
 | strany =
 | citace = 2024-05-29
 | poznámka =
 | jazyk = 
}}

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á fakulta

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Magisterský studijní program / obor:
Informatika / Informační systémy

Práce na příbuzné téma

Žádné práce na příbuzné téma.