| Title | Type | Name of student |
|---|---|---|
| Převod narativů do strukturované formy klauzulí jazyka Prolog. (Conversion of Narratives into a Structured Form of Prolog Language Clauses.) | Bachelors | Marek Žáček |
| Mapování prostoru pomocí robota Khepera IV (Space Mapping with the Khepera IV Robot) | Masters | Bc. Matěj Tomšů |
| Title | Type | Name of student |
|---|---|---|
| Interaktivní nástroj pro výuku konečných automatů (Interactive Tool for Learning Finite Automata.) | Bachelors | Marek Krúpa |
| Interaktivní nástroj pro výuku zásobníkových automatů. (Interactive Tool for Learning Pushdown Automaton) | Bachelors | Bc. Jan Fojtík |
| Title | Type | Name of student |
|---|---|---|
| Nástroj pro dokazování platnosti úsudků pomocí Vennových diagramů (A Tool for Proving the Argument Validity Using Venn Diagrams) | Bachelors | Bc. Daniel Honus |
| Nástroj pro dokazování platnosti úsudku ve výrokové logice (Tool for Prooving Validity of Arguments) | Bachelors | Bc. Daniel Dobeš |
| Systém pro evidenci docházky pro LMS eLogika (Attendance Records System for LMS eLogika) | Bachelors | Bc. Erik Hawlasek |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Alžbeta Švancárová |
| Nástroj pro podporu výuky rezoluční metody (A Tool for Supporting the Resolution Method Teaching) | Bachelors | Bc. Magdaléna Majáková |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Blanka Chamrádová |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Libor Michálek |
| Interaktivní nástroj pro podporu výuky úvodu do matematické logiky (An Interactive Tool for Teaching Introduction to Mathematical Logic.) | Bachelors | Bc. Martin Kopelec |
| Title | Type | Name of student |
|---|---|---|
| Dokazování pomocí přirozené dedukce v jazyku TIL-Script (Natural Deduction System for the TIL-Script Language) | Masters | Ing. Vojtěch Patschka |
| Učení v Multiagentních systémech za pomocí symbolické reprezentace znalostí (Learning in Multi-agent Systems and Symbolic Representation of Knowledge ) | Masters | Ing. Adam Albert |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Radek Chocholouš |
| Formální konceptuální analýza nad vícehodnotovými daty v systému eLogika (Many-Valued Formal Concept Analysis of Data in the eLogika System) | Masters | Ing. Jakub Kermaschek |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Richard Vašek |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Adam Stříž |
| Analytický nástroj pro systém eLogika (Analytic Tool for eLogika System) | Masters | Bc. Jakub Gereg |
| eLogika nad platformou Android (eLogika for Android System) | Masters | Ing. Jiří Znoj |
| Nástroj pro vytváření webcastů se sdílenou pracovní plochou (Tool for Creating Webcasts with Shared Desktop) | Masters | Bc. Vojtěch Garba |
| Rozpoznávání kontextů v TIL (Context Recognition in TIL) | Masters | Ing. Michal Fait, Ph.D. |
| Title | Type | Name of student |
|---|---|---|
| eLogika nad platformou Windows 8 / Windows Phone 8 (eLogika for Widows 8 and Windows Phone 8 Systems) | Masters | Ing. Mário Čuboň |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Tomáš Popelka |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Vladimír Kantoš |
| Autentizace v systému eLogika pomocí NFC (NFC Authentisation in eLogika System) | Bachelors | Bc. Daniel Šimera |
| 2D kódy a jejich využití pro automatizované vyhodnocování testů (2D Codes and Their Use For Evaluation of Automated Tests) | Masters | Ing. Tomáš Kašovský |
| Data-mining nad znalostmi v systému Barborka (Data-mining The Knowledge in The System Barborka) | Masters | Ing. Jakub Gerlich |
| Predikátová logika 1. řádu a Hornovy klauzule (First Order Predicate Logic and Horn Clauses) | Masters | Bc. Martin Blahovský |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Tomáš Hric |
| Důkazové techniky ve výrokové logice (Proofs in Propositional Logic) | Bachelors | Bc. Marek Hošťálek |
| Online prodej (Online Sale) | Bachelors | Bc. Martin Boor |
| Kontextová podobnost dokumentů (Contextual Similarity) | Masters | Bc. Ján Zahradnik |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Ing. Martin Golasowski, Ph.D. |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Petr Hajda |
| Výukový systém pro Aristotelovu logiku (System for Aristotelian Logic) | Bachelors | Bc. Martin Blahovský |
| Biometrické ověřování identity (Biometric Authentication) | Masters | Bc. Marián Koniar |
| Identifikace v systému eLogika za pomocí RFID. (RFID Identification in eLogika System) | Masters | Ing. Juraj Bobek |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Petr Kriegisch |
| Analýza systému eLogika (Analysis of the eLogica System ) | Masters | Bc. Tomáš Loskot |
| Datamining nad znalostmi v e-learningové podpoře pro výuku logiky (Datamining using knowledge on an e-learning support of training logic) | Masters | Bc. Vojtěch Petr |
| E-learningová podpora výuky obecné rezoluční metody. (E-learning Support for General Resolution Method) | Masters | Bc. Radek Daníšek |
| Systém eLogika a e-learningová podpora výuky. (The eLogika System and an E-learning Support of Education) | Masters | Ing. Vojtěch Hernas |
| TIL jakožto specifikační jazyk pro inference v PL1. (TIL as a Specification Language for PL1 Inferences) | Masters | Bc. Jozef Straka |
| Title | Type | Name of student |
|---|---|---|
| Metrika podobnosti formalizací v PL1 (The Similarity Measure of PL1 Formalisations) | Masters | Ing. Lukáš Vích |
| Zabezpečení systému eLogika (Security of eLogika System) | Masters | Ing. Vít Zátopek |
| Title | Type | Name of student |
|---|---|---|
| E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků (E-learning support for sematic prove methods) | Bachelors | Jiří Novák |
| Informační systém FbK Česká Třebová (IS FbK Česká Třebová) | Bachelors | Bc. Petr Hrdina |
| Web pro podporu výuky logiky (Web support for teaching logic) | Bachelors | Bc. Jan Záboj |
| Generování vět na základě vzorů (Natural sentences generation based on patterns.) | Masters | Ing. Vladimír Jarotek |
| Title | Type | Name of student |
|---|---|---|
| Inferenční stroj nad naivní teorii množin (Inference Machine over the Naiv Theory of Sets) | Masters | Bc. Luděk Augusta |