Zpět na vyhledávání

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

proofs

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 » (total: 21 theses)
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 / | Theses on a related topic

List of theses with an identical keyword.

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

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

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

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

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

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

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

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

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

« 1 2 3 » (total: 21 theses)