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

univerzalni algebra, ekvacionalni logika, quasi-order, variety grup, varieties of groups, kvaziusporadani, universal algebra, equational logic

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

1.
Jelínek, Vít
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Categorical View of Monads in Computer Science | Práce na příbuzné téma Zobrazit popisek

2.
Novotný, Petr
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Univerzální algebra a CSP | Práce na příbuzné téma

3.
Novotný, Petr
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Algebraické metody pro CSP | Práce na příbuzné téma

4.
Kubíček, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Unifikační teorie a univerzální algebra | Práce na příbuzné téma

5.
Lédl, Jakub
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Vícedruhová rovnostní logika | Práce na příbuzné téma

6.
Zoubek, Pavel
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Úplnost ekvacionální logiky | Práce na příbuzné téma