Práce na stejné téma (mají shodná klíčová slova):
protiprikladKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 | Práce na příbuzné téma
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í | Práce na příbuzné téma
Transformation of Nondeterministic Büchi Automata to Tight Automata
(Marek Jankola)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o0p4b/ | Informatika / Matematická informatika | Práce na příbuzné téma
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 / | Práce na příbuzné téma
Algebras for unranked trees
(Jakub Lédl)2018, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/incnl/ | Informatika / Teoretická informatika | Práce na příbuzné téma