Práce na příbuzné téma (mají shodná klíčová slova):

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

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Marek, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci tablových důkazů | Práce na příbuzné téma Zobrazit popisek

Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci tablových důkazů | Práce na příbuzné téma Zobrazit popisek

2.
Balážik, Štěpán
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Informatika a druhý obor, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Interaktivní webová aplikace pro výuku formálního jazyka matematiky | Práce na příbuzné téma

3.
Sedláček, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Práce na příbuzné téma
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Práce na příbuzné téma

4.
Slunský, Petr
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy / Teorie práva
Obhajoba disertační práce: Obecná a teoretická hlediska tvorby soudního rozhodnutí | Práce na příbuzné téma

5.
Bajger, Adam
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Nový framework pro experimenty strojového učení | Práce na příbuzné téma

6.
Bayer, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2011, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Improving Educational Facilities using Data mining and Knowledge managenent methods | Práce na příbuzné téma

7.
Bayer, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Metody aproximativní identifikace vlastností booleovských sítí | Práce na příbuzné téma
Obhajoba diplomové práce: Metody aproximativní identifikace vlastností booleovských sítí | Práce na příbuzné téma

8.
Březina, Jindřich
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vizualizace teorií systémů ILP | Práce na příbuzné téma

9.
Divíšek, Václav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Klasifikace textů z Diskusních fór v IS MU | Práce na příbuzné téma

10.
Ďurigová, Karolína
Fakulta: Pedagogická fakulta
Rok: 2023, studium probíhá
Program/obor Matematika se zaměřením na vzdělávání / Matematika se zaměřením na vzdělávání, Německý jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: Úlohy z matematické logiky v TSP a Scio testech | Práce na příbuzné téma

11.
Durkošová, Martina
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Extrakce a konstrukce atributů charakterizujících vlastnosti studenta | Práce na příbuzné téma

12.
Gregorovič, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extrakce informací ze sociálních médií | Práce na příbuzné téma

13.
Hejdová, Petra
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství anglického jazyka a literatury pro základní školy, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Úlohy výrokové logiky v testech TSP | Práce na příbuzné téma

14.
Hejdová, Petra
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství matematiky pro základní školy / Učitelství anglického jazyka pro základní školy, Učitelství matematiky pro základní školy
Obhajoba diplomové práce: Vybrané úlohy prohlubující logické myšlení ve výuce matematiky 2. stupně ZŠ | Práce na příbuzné téma

15.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Popis regulárních jazyků pomocí predikátové logiky | Práce na příbuzné téma

16.
Kaňová, Marika
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Geografie a kartografie se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Matematická logika ve výuce na středních školách | Práce na příbuzné téma

17.
Kaňová, Marika
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství matematiky pro střední školy / Učitelství geografie a kartografie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Kapitoly z matematické logiky pro učitele | Práce na příbuzné téma

18.
Kováč, Samuel
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analýza vhodnosti metod a nástrojů dobývání znalostí | Práce na příbuzné téma

19.
Krátká, Lucie
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství fyziky pro základní školy, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Algebra a aritmetika kolem nás | Práce na příbuzné téma

20.
Míznerová, Pavla
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Modální logika | Práce na příbuzné téma

21.
Nosáľ, Peter
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Dobývání znalostí z odpovědníků | Práce na příbuzné téma

22.
Ondráček, Tomáš
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Ontologické závazky a teorie modální logiky | Práce na příbuzné téma

23.
Peremilovská, Adriana
Fakulta: Filozofická fakulta
Rok: 2022, studium neúspěšně ukončeno
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Propozice a propoziční postoje, jejich vývoj a role v logice | Práce na příbuzné téma

24.
Pezlar, Ivo
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Epistemická logika a logická vševědoucnost v rámci modální intenzionální logiky | Práce na příbuzné téma

25.
Plesníková, Patricie
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství anglického jazyka a literatury pro základní školy, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Booleova algebra a její modely | Práce na příbuzné téma

26.
Řehánek, Martin
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozšíření systémů strojového učení WEKA a RapidMiner o algoritmus ART | Práce na příbuzné téma

27.
Sedláček, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Práce na příbuzné téma
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Práce na příbuzné téma

28.
Smékal, Petr
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Anglický jazyk a literatura se zaměřením na vzdělávání, Hudební výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Tradiční indické nástroje a jejich využití v současné hudbě | Práce na příbuzné téma

29.
Strieška, Peter
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj na předspracovaní dat o semestrální aktivitě studentů a jejich závěrečného hodnocení | Práce na příbuzné téma

30.
Štěpánek, Roman
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Efektové algebry a kvantové logiky | Práce na příbuzné téma

31.
Tandler, Jindřich
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Mining in social media | Práce na příbuzné téma

32.
Volaříková, Jana roz. Bartoňová
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Straubingova-Thérienova hierarchie jazyků | Práce na příbuzné téma

33.
Vránová, Sandra roz. Dedíková
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Podpora dobývání znalostí v db systému Oracle | Práce na příbuzné téma

34.
Zámečník, Jiří
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Kategorizace textových dokumentů vybranými algoritmy strojového učení

35.
Záthurecký, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Teorie modelů | Práce na příbuzné téma

36.
Ziembová, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Matematika se zaměřením na vzdělávání, Speciální pedagogika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Práce na příbuzné téma

37.
Zrůcký, Jakub
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství anglického jazyka a literatury pro základní školy, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Booleova algebra a její aplikace | Práce na příbuzné téma