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

protipriklady

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 13 theses)
Protipříklady z diferenciálních rovnic
 (Ludmila Linhartová)

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

https://is.muni.cz/th/ba1x0/ | Matematika / Obecná matematika | Theses on a related topic

Vybrané příklady a protipříklady z teorie míry a integrálu
 (Jakub KOČÍ)

2023, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//ko86m9// | Aplikovaná matematika / Aplikovaná matematika - specializace Data Science | Theses on a related topic

Protipříklady v matematické analýze
 (Kamil Babula)

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

https://is.muni.cz/th/sxi43/ | Aplikovaná matematika / Finanční a pojistná matematika | Theses on a related topic

Využití protipříkladů v syntéze kontrolerů pro POMDP
 (Jakub Frejlach)

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

http://theses.cz/id//gqnqlv// | Informační technologie a umělá inteligence / | Theses on a related topic

Vysvětlování protipříkladů v nástroji DiVinE
 (Roman Plášil)

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

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

Generování protipříkladů při analýze Markovových modelů
 (Martin Molek)

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

http://theses.cz/id//48bza5// | Informační technologie / | Theses on a related topic

Užití protipříkladů v matematice
 (Zdeňka KÁŇOVÁ)

2011, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//snyc7s// | Aplikovaná matematika / Matematika-ekonomie se zaměřením na bankovnictví | Theses on a related topic

Abstraction via Program Transformation
 (Henrich Lauko)

2023, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/mkjtn/ | Informatika / Technologie a metodologie počítačových systémů | Theses on a related topic

Case analysis of a splitter theorem
 (Matúš Hlaváčik)

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

https://is.muni.cz/th/zpuo1/ | Informatika / Matematická informatika | Theses on a related topic

Nástroj pro interaktivní dokazování tvrzení o formálních jazycích
 (Tomáš Richter)

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

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

« 1 2 » (total: 13 theses)