Theses on a related topic (having the same keywords):

automatic correction of resolution proof, rezolucia, rezolucne dokazy, resolution, resolution proof, logika, automaticka kontrola rezolucnych dokazov, xml, tikz, logic

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Bezek, Matúš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: FO interpretations in restricted graph classes | Theses on a related topic Display description

2.
Blahová, Jaroslava
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Místo logu v Hérakleitově a stoické filosofii | Theses on a related topic

3.
Ďurigová, Karolína
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / German Language for Education, Mathematics for Education
Bachelor's thesis defence: Úlohy z matematické logiky v TSP a Scio testech | Theses on a related topic

4.
Dvořáková, Martina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Music
Bachelor's thesis defence: Logické a kombinatorické problémy v matematice na ZŠ | Theses on a related topic

5.
Džmura, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Knihovna pro animace v logice | Theses on a related topic

6.
Fargaš, Oto
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GUI pro zadávání hypotéz v hybridní logice | Theses on a related topic

7.
Homolová, Zuzana
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Music / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Hudba 20. století v kontextu matematiky a logiky | Theses on a related topic

8.
Jelínek, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Type theory and its semantics | Theses on a related topic

9.
Klementová, Soňa
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Theses on a related topic

10.
Kutálková, Veronika
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: Sbírka úloh z diskrétní matematiky | Theses on a related topic

11.
Lédl, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algebras for unranked trees | Theses on a related topic

12.
Mačák, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic

13.
Michálek, Marek
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Philosophy / English Language and Literature, Philosophy
Bachelor's thesis defence: Intuicionistic Type Theory and its Application to Natural Language | Theses on a related topic

14.
Podhorská, Zuzana
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Animace ve výuce logiky | Theses on a related topic

15.
Skalová, Michaela
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Mathematics
Master's thesis defence: Odraz Descartovy filosofie v českém myšlení po roce 1990 | Theses on a related topic

16.
Trávníček, Zdeněk
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Problémy dialetheismu | Theses on a related topic

17.
Ansorgová, Zuzana
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Indexování XML s využitím prvočíselného číslovacího schématu | Theses on a related topic

18.
Aster, Jaroslav
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic

19.
Bachratý, Adam
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Pravdivost informace | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Theses on a related topic

20.
Bartoš, Radek
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webová fotogalerie pomocí XML | Theses on a related topic

21.
Bartošek, Marek
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výukové animace v jazyce JavaScript | Theses on a related topic

22.
Bauer, Andrej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Dialogový systém pro čtení strukturovaných dokumentů | Theses on a related topic

23.
Bělonožníková, Jana
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Reakce na ozbrojený konflikt v Darfúru | Theses on a related topic

24.
Blažečka, Roman
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Internetové grafické rozhraní pro databázi pohostinských služeb

25.
Bohuslav, Petr
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro evidenci zdrojů znečištění ovzduší | Theses on a related topic

26.
Bojda, Vojtěch
Faculty: Faculty of Informatics
Year: 2010, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro vizuálni tvorbu dialogových systému | Theses on a related topic

27.
Boniš, Andrej
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Databáze gramatik pro podporu rozpoznávání řeči | Theses on a related topic

28.
Borkovec, Pavel
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Reklamační systém pro velkoobchodní sklad | Theses on a related topic

29.
Briškár, Matej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Zpracování lexikografických dat | Theses on a related topic

30.
Brož, Marcel
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace na sledování odpracovaného času pro mobilní platformu Android | Theses on a related topic

31.
Buda, Miroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Tvorba testů a metodika testování aplikačního proxy firewallu | Theses on a related topic

32.
Buday, Matej
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Démon poskytujúci HTTP API pre prácu s databázou ABRT | Theses on a related topic
Bachelor's thesis defence: Démon poskytujúci HTTP API pre prácu s databázou ABRT | Theses on a related topic

33.
Bukatovič, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Srovnání dostupných implementací XML databází | Theses on a related topic

34.
Bureš, Michal
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Reimplementace nástroje pro editaci obecných elektronických slovníků | Theses on a related topic

35.
Čepčářová, Hana
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: On-line vizualizace prostorově vázaných www zdrojů | Theses on a related topic

36.
Čerenský, Peter
Faculty: Faculty of Informatics
Year: 2004, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Evidence konfigurací počítačů

37.
Daněk, Pavel
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Krajina Valašska | Theses on a related topic

38.
Di Liberti, Ivan
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Mathematics and Statistics / Algebra, Number Theory and Mathematical Logic
Doctoral thesis defence: The Scott adjunction | Theses on a related topic

39.
Dobešová, Michaela
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Rozhodnutí v trestním řízení a jeho odůvodnění | Theses on a related topic

40.
Dobšíček, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vývojové prostředí pro tvorbu webových prezentací | Theses on a related topic
Bachelor's thesis defence: Nástroj pro vývoj webových prezentací | Theses on a related topic

41.
Dosoudil, Jiří
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Návrh a ověření doménově specifického modelu internetového obchodu | Theses on a related topic

42.
Došek, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Referenční model projektu organizace konferencí v ICT | Theses on a related topic
Master's thesis defence: Nástroj na analýzu logů | Theses on a related topic

43.
Drozd, Pavel
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace na úpravy dokumentů vytvořených v DocBooku

44.
Dubrovský, Jakub
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: IS pro kontrolu silnic | Theses on a related topic

45.
Duda, Erich
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Implement WS-Transfer specification for Apache CXF framework | Theses on a related topic

46.
Dvořák, Jan
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Aplikace pro výběr dat hromadné korespondence | Theses on a related topic

47.
Dvořák, Lukáš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generovanie a správa tlačových formulárov | Theses on a related topic

48.
Dvořák, Martin
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Návrh komponentních mapových klíčů pro webovou kartografii | Theses on a related topic

49.
Dvořák, Pavel
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Public Administration Informatics
Bachelor's thesis defence: Úprava právních dokumentů pomocí značkovacích jazyků | Theses on a related topic

50.
Dvořák, Pavel
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Textové výstupy právních informačních systémů | Theses on a related topic