Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

logics

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 16 theses)
Fundamental Properties of Probabilistic Branching-Time Logics
 (Jan Křetínský)

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

• https://is.muni.cz/th/tchsl/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

List of theses with an identical keyword.

Expressiveness and Model Checking of Temporal Logics
 (Jan Strejček)

2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/zx2ly/ | Informatika / | Theses on a related topic

EQ-logics
 (Martin DYBA)

2012, Disertační práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

• http://theses.cz/id//s9d78t// | Aplikovaná matematika / Fuzzy modelování | Theses on a related topic

GUI pro zadávání hypotéz v hybridní logice
 (Oto Fargaš)

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

• https://is.muni.cz/th/j2osi/ | Aplikovaná informatika / | Theses on a related topic

Logiky pro popis vlastností stochastických her
 (Tomáš Laurinčík)

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

• https://is.muni.cz/th/g3u4x/ | Informatika / Teoretická informatika | Theses on a related topic

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 | Theses on a related topic

Efektové algebry a kvantové logiky
 (Roman Štěpánek)

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

• https://is.muni.cz/th/jxh97/ | Matematika / Algebra a diskrétní matematika | Theses on a related topic

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 | Theses on a related topic

Výuka logiky v předmětu základy společenských věd
 (Kamila ANDRÝSEK)

2023, Diplomová práce, Pedagogická fakulta / OSTRAVSKÁ UNIVERZITA

• http://theses.cz/id//9k5d89// | Učitelství pro střední školy / Psychologie - Základy společenských věd | Theses on a related topic

Vybrané fuzzy logiky a jejich využití
 (Kateřina OBRUSNÍKOVÁ)

2023, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA

• http://theses.cz/id//nmmpz5// | Matematika / Fuzzy matematika | Theses on a related topic

« 1 2 » (total: 16 theses)