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

finite automata, recognizability, minimization, promise problems, solvability

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

1.
Frian, Martin
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Simple models of quantum finite automata | Práce na příbuzné téma Zobrazit popisek

2.
Gaďorková, Klára
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Reprezentace čísel konečnými automaty | Práce na příbuzné téma

3.
Chodil, Miroslav
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Vlastnosti konečných automatů a jejich přechodových monoidů | Práce na příbuzné téma

4.
Klementová, Jana
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Epistemologické souvislosti sjednocujících teorií (Příspěvek filozofie k hledání teorie všeho) | Práce na příbuzné téma

5.
Kocmanová, Renáta
Fakulta: Ekonomicko-správní fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Optimalizace zdanění příjmů vícečlenné domácnosti | Práce na příbuzné téma

6.
Komárková, Zuzana
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: Biautomaty | Práce na příbuzné téma

7.
Křetínský, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Monadická logika druhého řádu na nekonečných řetězcích a stromech | Práce na příbuzné téma

8.
Kubová, Andrea
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Management (kombinace/zaměření: Management)
Obhajoba bakalářské práce: Využití simulačních metod pro optimalizaci podnikových procesů | Práce na příbuzné téma
Obhajoba bakalářské práce: Využití simulačních metod pro optimalizaci podnikových procesů | Práce na příbuzné téma

9.
Pilát, Martin
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Design, Deployment, and Evaluation of Programming Homeworks for the IB110 Course | Práce na příbuzné téma

10.
Salajová, Patrícia
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Web Editor of Finite Automata | Práce na příbuzné téma

11.
Sámelová, Kristína
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Extremální úlohy v aplikacích | Práce na příbuzné téma

12.
Štěpková, Adéla
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Complementation of Nondeterministic Finite Automata Without Determinization | Práce na příbuzné téma

13.
Urbanová, Nikola
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Numerické optimalizační metody | Práce na příbuzné téma

14.
Ziman, Michal
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Segmentace biomedicínského obrazu pomocí otevřených aktivních kontur | Práce na příbuzné téma