Code | Title | Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | 4EU+ | |
NAIL054 | Adaptive Agents | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NTIN006 | Algebraic Algorithms | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN088 | Algorithmic Randomness | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN089 | Algorithmic Randomness II | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN060 | Algorithms and Data Structures I | summer | summer s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN061 | Algorithms and Data Structures II | winter | winter s.:2/2, C+Ex [HT] | 32-KAM | 11320 | no | no | ||
NDMI074 | Algorithms and Their Implementation | summer | summer s.:2/2, C+Ex [HT] | 32-KAM | 11320 | no | no | ||
NSWI072 | Data Compression Algorithms | winter | winter s.:2/0, Ex [HT] | 32-KSVI | 11320 | no | no | ||
NAIL013 | Applications of Neural Networks Theory | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NMMB431 | Authentication Schemes | summer | summer s.:2/0, Ex [HT] | 32-KA | 11320 | no | no | ||
NTIN071 | Automata and Grammars | summer | summer s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN084 | Bioinformatics Algorithms | winter | winter s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL021 | Boolean Functions and Their Applications | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NLTM026 | Boolean Algebras | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN066 | Data Structures I | winter | winter s.:2/1, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN067 | Data Structures II | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NDBI023 | Data Mining | summer | summer s.:4/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN023 | Dynamic Graph Data Structures | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL025 | Evolutionary Algorithms I | winter | winter s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL086 | Evolutionary Algorithms II | summer | summer s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL065 | Evolutionary Robotics | summer | summer s.:2/1, C+Ex [HT] | 32-KSVI | 11320 | no | no | ||
NTIN033 | Experimental Analysis of Algorithms | summer | summer s.:2/2, C+Ex [HT] | 32-KDSS | 11320 | no | no | ||
NTIN043 | Formal Foundations of Software Engineering | winter | winter s.:2/2, C+Ex [HT] | 32-KSI | 11320 | no | no | ||
NTIN079 | Formal Dependency Syntax I | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN080 | Formal Dependency Syntax II | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NLTM003 | Forcing | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL097 | Functional programming | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL103 | Game Algorithms | winter | winter s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL060 | Neural Networks Implementation I | winter | winter s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL015 | Neural Networks Implementation II | summer | summer s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL087 | Computers and Cognitive Sciences I | winter | winter s.:3/1, C+Ex [HT] | 32-KSVI | 11320 | no | no | ||
NAIL088 | Computers and Cognitive Sciences II | summer | summer s.:3/1, C+Ex [HT] | 32-KSVI | 11320 | no | no | ||
NAIL078 | Lambda Calculus and Functional Programming I | winter | winter s.:2/1, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL079 | Lambda Calculus and Functional Programming II | summer | summer s.:2/1, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL076 | Logic Programming I | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL077 | Logic Programming II | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL056 | Seminar on Logic I | winter | winter s.:0/2, C [HT] | 32-KA | 11320 | no | no | ||
NAIL080 | Seminar on Logic II | summer | summer s.:0/2, C [HT] | 32-KA | 11320 | no | no | ||
NUMP016 | Logic and Set Theory | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NMUE023 | Logic and Set Theory | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NMUM818 | Logic and Set Theory (CŽV) | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL083 | Mathematical Models of Cell Activity | winter | winter s.:2/0, Ex [HT] | 32-KAM | 11320 | no | no | ||
NAIL022 | Methods of Logic Programming | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL002 | Neural Networks | winter | winter s.:4/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN042 | Parallel Algorithms | summer | summer s.:2/0, Ex [HT] | 32-KAM | 11320 | no | no | ||
NTIN017 | Parallel Algorithms | summer | summer s.:2/0, Ex [HT] | 32-KSVI | 11320 | no | no | ||
NTIN055 | Parallel Architectures | winter | winter s.:2/0, Ex [HT] | 32-KAM | 11320 | no | no | ||
NTIN040 | Parsing Schemes I | winter | winter s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NTIN041 | Parsing Schemes II | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL071 | Planning and Scheduling | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL084 | Computer Simulations of Cell Activity | summer | summer s.:2/0, Ex [HT] | 32-KAM | 11320 | no | no | ||
NLTM011 | Advanced Model Theory | winter | winter s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN098 | Advanced Data Structures | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL008 | Advanced Seminar on Cell Simulations on Computers | both | 0/2, C [HT] | 32-KAM | 11320 | no | no | ||
NTIN018 | Probabilistic Analysis of Algorithms | winter | winter s.:2/0, Ex [HT] | 32-KDSS | 11320 | no | no | ||
NAIL104 | Probabilistic graphical models | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN095 | Probabilistic method II | winter | winter s.:2/2, C+Ex [HT] | 32-KAM | 11320 | no | no | ||
NTIN022 | Probabilistic Techniques | winter | winter s.:2/2, C+Ex [HT] | 32-IUUK | 11320 | no | no | ||
NTIN097 | Hypercube Problems | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NOPT042 | Constraint Programming | winter | winter s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NALG011 | Term Rewriting Systems | winter | winter s.:2/0, --- [HT] summer s.:2/0, Ex [HT] |
32-KA | 11320 | no | no | ||
NPOZ004 | Natural and Artificial Thought I | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NPOZ005 | Natural and Artificial Thought II | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN096 | Pseudo-Boolean Optimization | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NLTM038 | Referative seminar on substructural logics | summer | summer s.:0/2, C [HT] | 32-IUUK | 11320 | no | no | ||
NTIN073 | Recursion | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN074 | Recursion II | summer | summer s.:2/1, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL031 | Representations of Boolean Functions | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL094 | Decision Procedures and Verification | winter | winter s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN046 | Parsing and Syntactic Analysis | both | 0/2, C [HT] | 32-KSVI | 11320 | no | no | ||
NTIN101 | Selected Topics in Algorithms | winter | winter s.:2/0, Ex [HT] | 32-IUUK | 11320 | no | no | ||
NTIN032 | Seminar on Dynamic Data Structures | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NTIN004 | Seminar on Parallel Algorithms | both | 0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL099 | Seminar of machine learning and modelling I | winter | winter s.:0/1, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL100 | Seminar of machine learning and modelling II | summer | summer s.:0/1, C [HT] | 32-KTIML | 11320 | no | no | ||
NTIN072 | Seminar on Approximation and Online Algorithms | both | 0/2, C [HT] | 32-IUUK | 11320 | no | no | ||
NTIN093 | Seminar on Boolean Functions I | winter | winter s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NTIN094 | Seminar on Boolean Functions II | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NTIN083 | Seminar on Data Structures I | winter | winter s.:0/2, C [HT] | 32-KDSS | 11320 | no | no | ||
NTIN021 | Seminar on Data Structures II | summer | summer s.:0/2, C [HT] | 32-KDSS | 11320 | no | no | ||
NLTM004 | Seminar on Forcing | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL006 | Seminar on Logic Programming I | winter | winter s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL009 | Seminar on Logic Programming II | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NLTM034 | Seminar on Reckoning I | winter | winter s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NLTM035 | Seminar on Reckoning II | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL093 | Science writing workshop | summer | summer s.:0/1, C [HT] | 32-KSVI | 11320 | no | no | ||
NAIL004 | Seminar on Artificial Intelligence I | winter | winter s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL052 | Seminar on Artificial Intelligence II | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL082 | Seminar on Humanlike Artificial Agents | both | 0/2, C [HT] | 32-KSVI | 11320 | no | no | ||
NTIN050 | Seminar on Computational Complexity | both | 0/2, C [HT] | 32-KAM | 11320 | no | no | ||
NAIL092 | Seminar on satisfiability | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NSWI100 | Seminar on Stringology and Data Compression | both | 0/2, C [HT] | 32-KSVI | 11320 | no | no | ||
NTIN063 | Complexity | summer | summer s.:2/1, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN062 | Complexity I | winter | winter s.:2/1, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL029 | Machine Learning | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN081 | Structural Complexity | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NLTM040 | Substructural logics | winter | winter s.:2/0, Ex [HT] | 32-IUUK | 11320 | no | no | ||
NAIL026 | Theoretical Issues in Neural Networks - Approximation | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL063 | Set Theory | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NLTM001 | Set Theory | summer | summer s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN070 | Software Testing | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN087 | String Algorithms | winter | winter s.:2/0, Ex [HT] | 32-KSVI | 11320 | no | no | ||
NTIN058 | Sorting | winter | winter s.:2/0, Ex [HT] | 32-KDSS | 11320 | no | no | ||
NAIL069 | Artificial Intelligence I | winter | winter s.:2/1, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL070 | Artificial Intelligence II | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL068 | Human-like Artificial Agents | summer | summer s.:2/2, C+Ex [HT] | 32-KSVI | 11320 | no | no | ||
NMAG405 | Universal Algebra 1 | winter | winter s.:2/2, C+Ex [HT] | 32-KA | 11320 | no | no | ||
NALG103 | Universal Algebra I | summer | summer s.:2/2, C+Ex [HT] | 32-KA | 11320 | no | no | ||
NAIL028 | Introduction to Robotics | winter | winter s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NLTM030 | Introduction to Set Theory | winter | winter s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL090 | Virtual biological laboratories I | winter | winter s.:0/2, C [HT] | 32-KAM | 11320 | no | no | ||
NAIL091 | Virtual biological laboratories II | summer | summer s.:0/2, C [HT] | 32-KAM | 11320 | no | no | ||
NTIN085 | Selected Topics in Computational Complexity I | winter | winter s.:2/1, C+Ex [HT] | 32-IUUK | 11320 | no | no | ||
NTIN086 | Selected Topics in Computational Complexity II | summer | summer s.:2/1, C+Ex [HT] | 32-IUUK | 11320 | no | no | ||
NLTM021 | Computability | summer | summer s.:2/0, Ex [HT] | 32-KNM | 11320 | no | no | ||
NTIN064 | Computability | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN065 | Computability II | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN082 | Computational Complexity | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NLTM039 | Computational complexity of substructural logics | winter | winter s.:2/0, Ex [HT] | 32-IUUK | 11320 | no | no | ||
NAIL062 | Propositional and Predicate Logic | winter | winter s.:2/2, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NLTM036 | Basic Nonstandard Seminar | summer | summer s.:0/2, C [HT] | 32-KTIML | 11320 | no | no | ||
NAIL019 | Basic Seminar on Cell Activity Simulations on Computers | both | 0/2, C [HT] | 32-KAM | 11320 | no | no | ||
NLTM006 | Fundamentals of Mathematical Logic | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NTIN090 | Introduction to Complexity and Computability | winter | winter s.:2/1, C+Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL059 | Knowledge in Multiagent Systems I | winter | winter s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no | ||
NAIL081 | Knowledge in Multiagent Systems II | summer | summer s.:2/0, Ex [HT] | 32-KTIML | 11320 | no | no |