Zpět na vyhledávání

Bc. Lukáš Holík, Ph.D.

Diplomová práce

Rozhodnutelnost v temporálních logikách

Decidability in temporal logics
Anotace:
Práce obsahuje přehled o rozhodnutelnosti, model checkingu a vyjadřovací síle výběru modálních a tempoprálních logik používaných v kontextu usuzování o výpočetních systémech.
Abstract:
Thesis contains view of decidability, model checking and expressive power of selection of modal and temporal logics used for reasonig about computational systems.
 

Klíčová slova

modální a temporální logika modal and temporal logic model checking splnitelnost decidability vyjadřovací síla expressive power
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 14. 2. 2006
Identifikátor: https://is.muni.cz/th/dg07t/

Obhajoba závěrečné práce

  • Obhajoba proběhla 14. 2. 2006
  • Vedoucí: prof. RNDr. Luboš Brim, CSc.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce