Práce na stejné téma (mají shodná klíčová slova):

temporalni logika

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 » (celkem 21 prací)
Topologie času a temporální logika
 (Jakub Vít)

2014, Bakalářská práce, Filozofická fakulta / Masarykova univerzita

https://is.muni.cz/th/f1rh6/ | Filozofie / | Práce na příbuzné téma

Grafická reprezentace specifikačních vzorů pro temporální logiky
 (Adam Tuček)

2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/zeq2o/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Problém splnitelnosti pro pravděpodobnostní temporální logiky
 (Miroslav Chodil)

2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/zn1az/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Algebraický přístup k lineární temporální logice
 (Karolína Malá)

2013, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/rwhf9/ | Matematika / Algebra a diskrétní matematika | Práce na příbuzné téma

Pro lidi srozumitelný jazyk temporální logiky
 (Lukáš Žilka)

2016, Bakalářská práce, Vysoké učení technické v Brně

http://theses.cz/id//g2hwo2// | Informační technologie / | Práce na příbuzné téma

Antické a středověké inspirace temporální logiky A. N. Priora
 (Zuzana RYBAŘÍKOVÁ)

2012, Diplomová práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//rnb7uj// | Humanitní studia / Filozofie - Historie | Práce na příbuzné téma

Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
 (Jakub Macek)

2017, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/127349 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma

Rozhodnutelnost v temporálních logikách
 (Lukáš Holík)

2006, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/dg07t/ | Informatika / | Práce na příbuzné téma

Grafická reprezentace formulí logiky LTL
 (Michal Keda)

2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/fdund/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Symbolic Model Checking of Hybrid CTL
 (Ondřej Huvar)

2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/zrf3h/ | Informatika / | Práce na příbuzné téma

« 1 2 3 » (celkem 21 prací)