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 …more
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 …more
 

Keywords

logika hypotéza CTL HCTL GUI Java Swing XML
 
Language used: Slovak
Date on which the thesis was submitted / produced: 26. 5. 2020
Identifier: https://is.muni.cz/th/j2osi/

Thesis defence

  • Date of defence: 24. 6. 2020
  • Supervisor: prof. RNDr. Luboš Brim, CSc.
  • Reader: Mgr. Samuel Pastva

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

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