Bc. Silvie MACOSZKOVÁ

Master's thesis

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

Efectiveness of resolution strategies in two-valued logic
Abstract:
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í …more
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 …more
 

Keywords

Logická dedukce automatické dokazování vět rezoluce rezoluční strategie uspořádání.
 
Language used: Czech
Date on which the thesis was submitted / produced: 14. 5. 2010
Accessible from:: 14. 5. 2010

Thesis defence

  • Date of defence: 3. 6. 2010
  • Supervisor: RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.

Citation record

Cite this text
The right form of listing the thesis as a source quoted

MACOSZKOVÁ, Silvie. Efektivita rezolučních strategií ve dvouhodnotové logice. Ostrava, 2010. diplomová práce (Mgr.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta

Full text of thesis

Accessibility: Autor si přeje zpřístupnit práci veřejnosti až od 14. 05. 2010

Contents of on-line thesis archive
Published in 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
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakulta

University of Ostrava

Faculty of Science

Master programme / field:
Information Science / Information Systems

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.