Práce na příbuzné téma (mají shodná klíčová slova):
odvozovaci system, propositional logic, sketch, vyrokova logika, parcialni transformace, equational theories, teorie modelu, skec, morphism of sketches, logika prvniho radu, rovnostni teorie, morfizmus skeci, parcialni homomorfizmus, model theory, first-order logic, partial transformation, partial homomorphism, deduction systemKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Ď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
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
2.
Habarda, Radoslav
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: Eliminace kvantifikátorů v logice komplexních čísel | 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: Eliminace kvantifikátorů v logice komplexních čísel | Práce na příbuzné téma
3.
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
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
4.
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
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
5.
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
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
6.
Procházková, Pavla
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: Ultrasoučiny | 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: Ultrasoučiny | Práce na příbuzné téma
7.
Š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
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
8.
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
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
9.
Bezek, Matúš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: FO interpretations in restricted graph classes | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: FO interpretations in restricted graph classes | Práce na příbuzné téma
10.
Di Liberti, Ivan
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika a statistika / Algebra, teorie čísel a matematická logika
Obhajoba disertační práce: The Scott adjunction | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika a statistika / Algebra, teorie čísel a matematická logika
Obhajoba disertační práce: The Scott adjunction | Práce na příbuzné téma
11.
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
12.
Hrdlička, Jan
Fakulta: Pedagogická fakulta
Rok: 2007, 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: A bit of fry and Laurie, Translation and Analysis | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2007, 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: A bit of fry and Laurie, Translation and Analysis | Práce na příbuzné téma
13.
Husonka, Nelya
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství ruského jazyka
Obhajoba diplomové práce: S. A. Sokurov, "Jazyk do Kijeva dovedet" (komentovaný překlad publicistického textu) | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství ruského jazyka
Obhajoba diplomové práce: S. A. Sokurov, "Jazyk do Kijeva dovedet" (komentovaný překlad publicistického textu) | Práce na příbuzné téma
14.
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
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
15.
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
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
16.
Kopáček, Petr
Fakulta: Filozofická fakulta
Rok: 2017, studium neúspěšně ukončeno
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Vyplývání | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2017, studium neúspěšně ukončeno
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Vyplývání | Práce na příbuzné téma
17.
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
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
18.
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
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci tablových důkazů | Práce na příbuzné téma
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
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci tablových důkazů | Práce na příbuzné téma
19.
Markosová, Svetlana
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Použitelnost uživatelského rozhraní nemocničního IS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Použitelnost uživatelského rozhraní nemocničního IS | Práce na příbuzné téma
20.
Markosová, Svetlana
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Uživatelské rozhraní pro ovládání inteligentního skleníku | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Uživatelské rozhraní pro ovládání inteligentního skleníku | Práce na příbuzné téma
21.
Racek, Lukáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Návrh uživatelského rozhraní multimediálního systému ve veřejné dopravě | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Návrh uživatelského rozhraní multimediálního systému ve veřejné dopravě | Práce na příbuzné téma
22.
Schildberger, František
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Česká literatura
Obhajoba disertační práce: Poetika reportáže | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Česká literatura
Obhajoba disertační práce: Poetika reportáže | Práce na příbuzné téma
23.
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
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
24.
Trnková, Petra
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba bakalářské práce: Žurnalistické žánry v Apetitu | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika
Obhajoba bakalářské práce: Žurnalistické žánry v Apetitu | Práce na příbuzné téma
25.
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
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
26.
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
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
27.
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
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
28.
Zuchová, Barbora Zoja roz. Vacková
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Obrazy z Rus a Obrazy z okolí domažlického. Črta v pojetí B. Němcové a K. Havlíčka Borovského | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Obrazy z Rus a Obrazy z okolí domažlického. Črta v pojetí B. Němcové a K. Havlíčka Borovského | Práce na příbuzné téma