Práce na stejné téma (mají shodná klíčová slova):
proofsKlíčová slova abecedně | Klíčová slova dle četnosti
Automated Synthesis of Probabilistic Termination Proofs
(Radoslav Kvasňovský)2024, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k74xa/ | Informatika / | Práce na příbuzné téma
Safety Checkers for Termination Proofs
(Jiří Zárevúcky)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/h4iwh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Automatická kontrola rezolučních důkazů
(Štefan Jurčo)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uptii/ | Aplikovaná informatika / | Práce na příbuzné téma
Vybrané matematické důkazy na ZŠ - Pythagorova věta
(Monika Zuzaníková)2019, Diplomová práce, Pedagogická fakulta / Masarykova univerzita
• https://is.muni.cz/th/jt54n/ | Učitelství pro základní školy / Učitelství matematiky pro základní školy | Práce na příbuzné téma
Obrázkové důkazy v matematické analýze
(Vít Němeček)2024, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/lp8p4/ | Matematika se zaměřením na vzdělávání / | Práce na příbuzné téma
Problémy dokazování ve správním řízení
(Ivana Petrášová)2015, Diplomová práce, CEVRO Institut
• https://is.vsci.cz/th/zqziz/ | Veřejná správa / | Práce na příbuzné téma
Vliv vizuální reprezentace důkazů matematických vět na jejich srozumitelnost
(Andrea Ševčíková)2020, Disertační práce, Pedagogická fakulta / Univerzita Hradec Králové
• http://evskp.uhk.cz/eDi149 | Specializace v pedagogice / Informační a komunikační technologie ve vzdělávání | Práce na příbuzné téma
Důkazy divergence harmonické řady
(Veronika ŠMAJSEROVÁ)2022, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//veynb0// | Aplikovaná matematika / Matematika-ekonomie se zaměřením na bankovnictví / pojišťovnictví | Práce na příbuzné téma
Deduktivní metody řešení důkazových planimetrických úloh
(Vojtěch ZLÁMAL)2021, Disertační práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//v95i3i// | Matematika / Didaktika matematiky | Práce na příbuzné téma
Důkazy ve středoškolské matematice
(Klára SPILKOVÁ)2020, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//j4osz4// | Matematika / Matematika - Anglická filologie | Práce na příbuzné téma