Práce na příbuzné téma (mají shodná klíčová slova):
implicit structuralism, model structuralism, mathematical structuralism, formalist structuralism, strukturalismus univerzalii, modalni strukturalismus, matematicky strukturalismus, teorie kategorii, category theory, universals structuralism, implicitni strukturalismus, philosophy of mathematics, category structuralism, modal structuralism, kategorialni strukturalismus, modelovy strukturalismus, filosofie matematiky, formalisticky strukturalismusKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Bondarenko, Miroslavna
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium probíhá
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Categories for quantum theory | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium probíhá
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Categories for quantum theory | Práce na příbuzné téma
2.
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
3.
Roshangar, Hazhir
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filozofie / Filozofie
Obhajoba disertační práce: Truth and Communicability: Reality and Mathematical Discourse | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filozofie / Filozofie
Obhajoba disertační práce: Truth and Communicability: Reality and Mathematical Discourse | Práce na příbuzné téma
4.
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
5.
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
6.
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
7.
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
8.
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