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

formalni logika

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

« 1 2 » (celkem 19 prací)
Matematická logika ve výuce na středních školách
 (Marika Kaňová)

2020, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/jtifl/ | Matematika / Matematika se zaměřením na vzdělávání | Práce na příbuzné téma

Kapitán Exner a logika - kniha vs. filmové pojetí
 (Radka KRISTLOVÁ)

2024, Bakalářská práce, Fakulta filozofická / ZÁPADOČESKÁ UNIVERZITA V PLZNI

http://theses.cz/id//6468kr// | Humanitní studia / | Práce na příbuzné téma

Logika v dětské literatuře: Alenka v kraji divů
 (Kateřina BENEŠOVÁ)

2013, Bakalářská práce, Fakulta filozofická / ZÁPADOČESKÁ UNIVERZITA V PLZNI

http://theses.cz/id//mwv37d// | Humanitní studia / Humanistika | Práce na příbuzné téma

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 | Práce na příbuzné téma

Relační soudy v logice s návazností na ontologii
 (Jan HANÁČEK)

2014, Bakalářská práce, Pedagogická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//7a9odl// | Specializace v pedagogice / Společenské vědy se zaměřením na vzdělávání a filozofie | Práce na příbuzné téma

Popis regulárních jazyků pomocí predikátové logiky
 (Martin Jonáš)

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

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

Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky
 (Jan Fiedor)

2016, Diplomová práce, Vysoké učení technické v Brně

http://theses.cz/id//8r2g2w// | Informační technologie / | 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

Sémantické tablo jako formální procedura důkazu v logice
 (Milan ROŽŇÁK)

2013, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

http://theses.cz/id//zd7gvf// | Aplikovaná informatika / | Práce na příbuzné téma

Aplikace Port-Royalské logiky pro vybrané prvky plášťové ochrany objektů
 (Lucie Sousedíková)

2019, Diplomová práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně

http://theses.cz/id//4g6eoh// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Práce na příbuzné téma

« 1 2 » (celkem 19 prací)