Práce na příbuzné téma

satisfiability, complexity, satisfiability modulo theories, bit-vectors, logic

51.

Trnka, Jan
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Obecná teorie a dějiny umění a kultury (čtyřleté) / Teorie a dějiny divadla, filmu a audiovizuální kultury
Obhajoba disertační práce: Dobrý scenárista Josef Neuberg. Procesy psaní a vývoje scénáře v české kinematografii 1919–1965 | Práce na příbuzné téma

52.

Voráček, Vojtěch
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství matematiky pro střední školy / Učitelství informatiky pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Aplikace interpretovatelných metod strojového učení v analýze matematických úloh | Práce na příbuzné téma

53.

Ziembová, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Matematika se zaměřením na vzdělávání, Speciální pedagogika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Práce na příbuzné téma