Práce na příbuzné téma (mají shodná klíčová slova):
korektnost, completeness, vicedruhova univerzalni algebra, rovnostni logika, uplnost, equational logic, soundness, many-sorted universal algebraKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Grunová, Jana
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografická kartografie a geoinformatika / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Vliv vlastností přispěvatelů na kvalitu dat OpenStreetMap | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografická kartografie a geoinformatika / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Vliv vlastností přispěvatelů na kvalitu dat OpenStreetMap | Práce na příbuzné téma
2.
Svoboda, Filip
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Metrický prostor spojitých funkcí: teorie a aplikace | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Metrický prostor spojitých funkcí: teorie a aplikace | Práce na příbuzné téma
3.
Fiedler, Adam
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Deduction in Matching Logic | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Deduction in Matching Logic | Práce na příbuzné téma
4.
Káňová, Jana
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Variety metabelovských grup | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Variety metabelovských grup | Práce na příbuzné téma
5.
Machovec, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Automatická sumarizace textu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Automatická sumarizace textu | Práce na příbuzné téma
6.
Rajivv, Rajivv
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace (angl.)
Obhajoba diplomové práce: Assessing the Data Quality of Wikipedia | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace (angl.)
Obhajoba diplomové práce: Assessing the Data Quality of Wikipedia | Práce na příbuzné téma
7.
Zukal, Dominik
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Ekologická a evoluční biologie / Botanika (kombinace/zaměření: Ekologie rostlin)
Obhajoba diplomové práce: Vliv počtu jedinců rostlin na diverzitu lesní vegetace | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Ekologická a evoluční biologie / Botanika (kombinace/zaměření: Ekologie rostlin)
Obhajoba diplomové práce: Vliv počtu jedinců rostlin na diverzitu lesní vegetace | Práce na příbuzné téma