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

sequent calculus, lattice effect algebra, logika kvantove mechaniky, implication algebra, boolean algebra, effect algebra, odvozovaci system, efekto-grupoidova logika, proposional calculus, efektovy grupoid, vyrokova logika, efektova algebra, effect groupoid-based logic, orthomodular poset, effect groupoid, vicehodnotova logika, ortomodularni svaz, mv-algebra, many-valued logic, logic of quantum mechanics, implikacni algebra, booleova algebra, svazova efektova algebra, ortomodularni poset, sekvencni kalkul, orthoalgebra, orthomodular lattice, ortoalgebra, deductive system

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

1.
Smolka, Richard
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Efektové algebry | Práce na příbuzné téma Zobrazit popisek

2.
Jurečka, Pavel
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Efektové algebry | Práce na příbuzné téma

3.
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

4.
Emir, Kadir roz. Emir
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium probíhá
Program/obor Matematika a statistika / Algebra, teorie čísel a matematická logika
Obhajoba disertační práce: Algebraic models for quantum logic | Práce na příbuzné téma

5.
Filakovský, Marek
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Topologie na svazových efektových algebrách | Práce na příbuzné téma

6.
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

7.
Smolka, Richard
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Nové konstrukce pomocí retrakcí | Práce na příbuzné téma

8.
Záthurecký, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Stoneova dualita | Práce na příbuzné téma

9.
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

10.
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

11.
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

12.
Ď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

13.
Dvořáčková, Petra
Fakulta: Pedagogická fakulta
Rok: 2012, 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: Booleova algebra | Práce na příbuzné téma

14.
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

15.
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

16.
Janda, Jiří
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika (čtyřleté) / Algebra, teorie čísel a matematická logika
Obhajoba disertační práce: Lattice effect algebras | 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.
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

19.
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

20.
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

21.
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