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

semantics, semantika, 2-category theory, teorie typu, bikolimity, type theory, logic, bicolimits, 2-kategorie, logika

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

151.
Spurný, Robert
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika
Obhajoba bakalářské práce: Tomáš Kulka: Pro et Contra | Práce na příbuzné téma Zobrazit popisek

152.
Suchánek, Otto
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: Logika v učebnicích středních škol | Práce na příbuzné téma

153.
Šafratová, Iveta
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Postnominální druhová adjektiva v češtině | Práce na příbuzné téma

154.
Šafratová, Iveta
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura, Obecná jazykověda
Obhajoba diplomové práce: Negace, NPI a pravděpodobnost: experimentální studie | Práce na příbuzné téma

155.
Šimková, Markéta
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba bakalářské práce: Semantic and Style Shifting in Czech Translations of English Romantic Poetry | Práce na příbuzné téma

156.
Šír, Marek
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Phonological and graphetic aspects of French loans in English with regard to their semantic properties | Práce na příbuzné téma

157.
Šmídová, Anna
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Faire une manif depuis son canap : observations sur les propriétés linguistiques et sur la dynamique de la troncation en français contemporain | Práce na příbuzné téma

158.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma

159.
Špiříková, Helena
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Classification of the Question: English and Czech Comparison | Práce na příbuzné téma

160.
Štěpán, Miloslav
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium probíhá
Program/obor Matematika a statistika / Algebra, teorie čísel a matematická logika
Obhajoba disertační práce: Lax structures in 2-category theory | Práce na příbuzné téma

161.
Štěpánek, Jan
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Tarského definice pojmu pravdy a její kritika | Práce na příbuzné téma

162.
Štichová, Lada
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: The Language of YouTube Beauty Video Titles | Práce na příbuzné téma

163.
Šulák, Pavel
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Makedonský jazyk a literatura
Obhajoba bakalářské práce: Srovnání geografických názvů Ochridsko-prespánské oblasti s geografickými názvy České republiky | Práce na příbuzné téma

164.
Šustrová, Nela
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba diplomové práce: Analyse sémantique du gérondif français dans la proposition incise | Práce na příbuzné téma

165.
Šustrová, Nela
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství francouzského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Analyse sémantique du gérondif français dans la proposition incise | Práce na příbuzné téma

166.
Šustrová, Nela
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Vocabulary in Context: Teaching Low-Frequency Words by Using Authentic Texts | Práce na příbuzné téma

167.
Talaš, Jakub
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Wiki s podporou zpracování sémantiky | Práce na příbuzné téma

168.
Tokarčík, Andrej
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: An Executable Formal Semantics of Agda | Práce na příbuzné téma

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

170.
Trojanová, Anežka
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Český jazyk a literatura se zaměřením na vzdělávání, Ruský jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: Strukturně sémantické typy souvětí v povídce L. Ulické "Istorija pro kota Ignasija, trubočista Feďu i Odinokuju Myš" | Práce na příbuzné téma

171.
Tušil, Jan
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: An Executable Formal Semantics of C++ | Práce na příbuzné téma

172.
Týnská, Alice
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství německého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Livländische Reimchronik – eine semantische Analyse der Lexik aus dem Bereich des Militärwesens am Beispiel ausgewählter Kampfschilderungen | Práce na příbuzné téma

173.
Versteeg, Filip
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Občanská výchova a základy společenských věd se zaměřením na vzdělávání / Dějepis se zaměřením na vzdělávání, Občanská výchova a základy společenských věd se zaměřením na vzdělávání
Obhajoba bakalářské práce: Problematika filosofie J. Derridy | Práce na příbuzné téma

174.
Veselka, Marek
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství českého jazyka a literatury pro základní školy, Učitelství dějepisu pro základní školy
Obhajoba diplomové práce: Titulky současného denního tisku | Práce na příbuzné téma

175.
Vlachová, Anna
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Japanistika
Obhajoba bakalářské práce: Idioms in Shakespeare's Plays from the Semantic Perspective | Práce na příbuzné téma

176.
Volfová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: On the semantics of pace adverbs | Práce na příbuzné téma

177.
Vyvlečková, Justýna
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Španělský jazyk a literatura, Veřejná ekonomika a správa
Obhajoba bakalářské práce: Los rasgos del español popular mexicano del siglo XIX presentes en la novela Astucia, el jefe de los Hermanos de la Hoja, de Luis G. Inclán | Práce na příbuzné téma

178.
Zahradníčková, Alena
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Generování nových logických úloh pro IB000 | Práce na příbuzné téma

179.
Zaňková, Veronika
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: The Passive Voice from a Semantico-Syntactic Perspective | Práce na příbuzné téma

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