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 theory

Klíč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 Zobrazit popisek

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

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

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

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

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

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

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

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

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