GUI pro zadávání hypotéz v hybridní logice – Oto Fargaš
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 …viacAbstract:
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
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
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Applied Informatics / Applied Informatics
Práce na příbuzné téma
- Žádné práce na příbuzné téma.