Zpět na vyhledávání

Oto Fargaš

Bachelor's thesis

GUI pro zadávání hypotéz v hybridní logice

GUI for hypotheses specification in hybrid logics
Abstract:
This thesis deals with hypotheses in hybrid extension of CTL (Computation Tree Logic). It allows creating hypothesis about behavior of the biological systems as well as creating predefined patterns for later usage in hypotheses. Hypotheses can be exported to .hyp file. In the first part of the thesis CTL and its hybrid extension is explained. Next part describes technologies used for implementation …viac
Abstract:
Práca sa zaoberá hypotézami v hybridnom rozšírení CTL (Computation Tree Logic). Umožňuje vytvárať hypotézy o chovaní biologických systémov a zároveň vytvárať preddefinované vzory chovania a neskôr ich v hypotézach použiť. Hypotézy možno exportovať do súboru .hyp. V prvej časti práce je vysvetlená logika CTL a jej hybridné rozšírenie. Ďalšia časť popisuje použité technológie a posledná časť popisuje …viac
 

Kľúčové slová

logika hypotéza CTL HCTL GUI Java Swing XML
 
Jazyk práce: Slovak
Datum vytvoření / odevzdání či podání práce: 26. 5. 2020
Identifikátor: https://is.muni.cz/th/j2osi/

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

  • Obhajoba proběhla 24. 6. 2020
  • Vedúci: prof. RNDr. Luboš Brim, CSc.
  • Oponent: Mgr. Samuel Pastva

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

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics

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

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.