Theses on a related topic (having the same keywords):

predikatova logika, weka, vyrokova logika, tabla, tablove dukazy, graphml, modalni logika

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Marek, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Nástroj pro interaktivní konstrukci tablových důkazů | Theses on a related topic Display description

Master's thesis defence: Nástroj pro interaktivní konstrukci tablových důkazů | Theses on a related topic Display description

2.
Balážik, Štěpán
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Informatics with another discipline, Mathematics with a view to Education
Bachelor's thesis defence: Interaktivní webová aplikace pro výuku formálního jazyka matematiky | Theses on a related topic

3.
Sedláček, Jan
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Information Systems
Master's thesis defence: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Theses on a related topic
Master's thesis defence: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Theses on a related topic

4.
Slunský, Petr
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences / Theory of Law
Doctoral thesis defence: Obecná a teoretická hlediska tvorby soudního rozhodnutí | Theses on a related topic

5.
Bajger, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Nový framework pro experimenty strojového učení | Theses on a related topic

6.
Bayer, Jaroslav
Faculty: Faculty of Informatics
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Improving Educational Facilities using Data mining and Knowledge managenent methods | Theses on a related topic

7.
Bayer, Jaroslav
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Metody aproximativní identifikace vlastností booleovských sítí | Theses on a related topic
Master's thesis defence: Metody aproximativní identifikace vlastností booleovských sítí | Theses on a related topic

8.
Březina, Jindřich
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vizualizace teorií systémů ILP | Theses on a related topic

9.
Divíšek, Václav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Klasifikace textů z Diskusních fór v IS MU | Theses on a related topic

10.
Ďurigová, Karolína
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / German Language for Education, Mathematics for Education
Bachelor's thesis defence: Úlohy z matematické logiky v TSP a Scio testech | Theses on a related topic

11.
Durkošová, Martina
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Extrakce a konstrukce atributů charakterizujících vlastnosti studenta | Theses on a related topic

12.
Gregorovič, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Extrakce informací ze sociálních médií | Theses on a related topic

13.
Hejdová, Petra
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Úlohy výrokové logiky v testech TSP | Theses on a related topic

14.
Hejdová, Petra
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School English Language Teacher Training, Lower Secondary School Teacher Training in Mathematics
Master's thesis defence: Vybrané úlohy prohlubující logické myšlení ve výuce matematiky 2. stupně ZŠ | Theses on a related topic

15.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Popis regulárních jazyků pomocí predikátové logiky | Theses on a related topic

16.
Kaňová, Marika
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Geography and Cartography with a view to Education, Mathematics with a view to Education
Bachelor's thesis defence: Matematická logika ve výuce na středních školách | Theses on a related topic

17.
Kaňová, Marika
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Teaching of Mathematics for Secondary Schools / Teaching of Mathematics for Secondary Schools, Upper Secondary School Teacher Training in Geography and Cartography
Master's thesis defence: Kapitoly z matematické logiky pro učitele | Theses on a related topic

18.
Kováč, Samuel
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza vhodnosti metod a nástrojů dobývání znalostí | Theses on a related topic

19.
Krátká, Lucie
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Physics
Bachelor's thesis defence: Algebra a aritmetika kolem nás | Theses on a related topic

20.
Míznerová, Pavla
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Modální logika | Theses on a related topic

21.
Nosáľ, Peter
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Dobývání znalostí z odpovědníků | Theses on a related topic

22.
Ondráček, Tomáš
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Ontologické závazky a teorie modální logiky | Theses on a related topic

23.
Peremilovská, Adriana
Faculty: Faculty of Arts
Year: 2022, studies terminated for failure to fulfill study requirements
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Propozice a propoziční postoje, jejich vývoj a role v logice | Theses on a related topic

24.
Pezlar, Ivo
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Epistemická logika a logická vševědoucnost v rámci modální intenzionální logiky | Theses on a related topic

25.
Plesníková, Patricie
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Booleova algebra a její modely | Theses on a related topic

26.
Řehánek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření systémů strojového učení WEKA a RapidMiner o algoritmus ART | Theses on a related topic

27.
Sedláček, Jan
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Information Systems
Master's thesis defence: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Theses on a related topic
Master's thesis defence: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Theses on a related topic

28.
Smékal, Petr
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language and Literature with a view to Education, Music for Education
Bachelor's thesis defence: Tradiční indické nástroje a jejich využití v současné hudbě | Theses on a related topic

29.
Strieška, Peter
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj na předspracovaní dat o semestrální aktivitě studentů a jejich závěrečného hodnocení | Theses on a related topic

30.
Štěpánek, Roman
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Efektové algebry a kvantové logiky | Theses on a related topic

31.
Tandler, Jindřich
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Mining in social media | Theses on a related topic

32.
Volaříková, Jana maiden name: Bartoňová
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Straubingova-Thérienova hierarchie jazyků | Theses on a related topic

33.
Vránová, Sandra maiden name: Dedíková
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Podpora dobývání znalostí v db systému Oracle | Theses on a related topic

34.
Zámečník, Jiří
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Kategorizace textových dokumentů vybranými algoritmy strojového učení

35.
Záthurecký, Jakub
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Teorie modelů | Theses on a related topic

36.
Ziembová, Lucie
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Theses on a related topic

37.
Zrůcký, Jakub
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Booleova algebra a její aplikace | Theses on a related topic