Práce na příbuzné téma (mají shodná klíčová slova):
dagger kompaktni uzavrene kategorie, monoidal categories, teorie kategorii, monoidalni kategorie, hilbertovy prostory, dagger compact closed categories, category theory, dagger frobeniovy algebry, teorie kvantove informace, dagger-frobenius algebras, hilbert spaces, quantum information theoryKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Sadílek, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika
Obhajoba diplomové práce: Algebraicka K-teorie | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika
Obhajoba diplomové práce: Algebraicka K-teorie | Práce na příbuzné téma
2.
Cícha, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: Logické a fyzikální aplikace ortosvazů | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: Logické a fyzikální aplikace ortosvazů | Práce na příbuzné téma
3.
Dražanová, Jana roz. Fabriková
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Geometrie
Obhajoba diplomové práce: Kubické množiny | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Geometrie
Obhajoba diplomové práce: Kubické množiny | Práce na příbuzné téma
4.
Dupyn, Yuriy
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: Algebraické struktury | 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: Algebraické struktury | Práce na příbuzné téma
5.
Menšík, Josef
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Structuralism in the philosophy of mathematics | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Structuralism in the philosophy of mathematics | Práce na příbuzné téma
6.
Adam, Martin
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Applications of Unitary k-designs in Quantum Information Processing | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Applications of Unitary k-designs in Quantum Information Processing | Práce na příbuzné téma
7.
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
8.
Goljer, Matúš
Fakulta: Fakulta informatiky
Rok: 2013, 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: Odvozování programů ze specifikací | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, 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: Odvozování programů ze specifikací | Práce na příbuzné téma
9.
Krajíček, Lukáš
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: Nakrytí a grupoidy | 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: Nakrytí a grupoidy | Práce na příbuzné téma
10.
Křetínský, Jan
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Filozofie, Obecná jazykověda
Obhajoba bakalářské práce: Matematický aparát formálního popisu jazyka | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Filozofie, Obecná jazykověda
Obhajoba bakalářské práce: Matematický aparát formálního popisu jazyka | Práce na příbuzné téma