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

formalni jazyky, predikatova logika, ehrenfeucht-fraisse, locally treshold testable languages, regularni jazyky, monadicka logika druheho radu, lokalne prahove testovatelne jazyky, monadic second order logic, star-free

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

1.
Balážik, Štěpán
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Informatika a druhý obor, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Interaktivní webová aplikace pro výuku formálního jazyka matematiky | Práce na příbuzné téma Zobrazit popisek

2.
Březina, Jindřich
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vizualizace teorií systémů ILP | Práce na příbuzné téma

3.
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

4.
Marek, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci tablových důkazů | Práce na příbuzné téma
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci tablových důkazů | Práce na příbuzné téma

5.
Sedláček, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Práce na příbuzné téma
Obhajoba diplomové práce: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Práce na příbuzné téma

6.
Sloupová, Kateřina
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Reimplementace a konsolidace systémů podporujících výuku formálních jazyků | Práce na příbuzné téma

7.
Slunský, Petr
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy / Teorie práva
Obhajoba disertační práce: Obecná a teoretická hlediska tvorby soudního rozhodnutí | Práce na příbuzné téma

8.
Štefaník, Štěpán
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Uživatelské rozhraní pro manipulaci s bezkontextovými gramatikami | Práce na příbuzné téma
Obhajoba bakalářské práce: Systém pro správu uživatelských požadavků | Práce na příbuzné téma

9.
Uhlíř, Jiří
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Generátor příkladů k teorii formálních jazyků | Práce na příbuzné téma

10.
Volaříková, Jana roz. Bartoňová
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Straubingova-Thérienova hierarchie jazyků | Práce na příbuzné téma