Subjects

Filter:

Faculty:
Department:

Code	Title	Semester	Hours per week, examination	Department	Faculty	Cyclical teaching	Virtual mobility	Capacity	4EU+
NAIL002	Neural Networks	winter	winter s.:4/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL004	Seminar on Artificial Intelligence I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL006	Seminar on Logic Programming I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL009	Seminar on Logic Programming II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL013	Applications of Neural Networks Theory	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL015	Neural Networks Implementation II	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL021	Boolean Functions and Their Applications	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL022	Methods of Logic Programming	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL025	Evolutionary Algorithms I	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL026	Theoretical Issues in Neural Networks - Approximation	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL028	Introduction to Robotics	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL029	Machine Learning	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL031	Representations of Boolean Functions	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL052	Seminar on Artificial Intelligence II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL054	Adaptive Agents	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL060	Neural Networks Implementation I	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL061	Seminar on Mobile Robotics	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL062	Propositional and Predicate Logic	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL069	Artificial Intelligence I	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL070	Artificial Intelligence II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL071	Planning and Scheduling	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL073	Robot I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL074	Robot II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL076	Logic Programming I	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL077	Logic Programming II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL078	Lambda Calculus and Functional Programming I	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL079	Lambda Calculus and Functional Programming II	summer	summer s.:2/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL086	Evolutionary Algorithms II	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL092	Seminar on satisfiability	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL094	Decision Procedures and Verification	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL096	Multi-agent systems	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL097	Functional programming	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL099	Seminar of machine learning and modelling I	winter	winter s.:0/1, C [HT]	32-KTIML	11320	no	no		no
NAIL100	Seminar of machine learning and modelling II	summer	summer s.:0/1, C [HT]	32-KTIML	11320	no	no		no
NAIL101	Probabilistic Robotics	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL102	Philosophical problems of Informatics	both	0/1, C [HT]	32-KTIML	11320	no	no		no
NAIL103	Game Algorithms	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NAIL104	Probabilistic graphical models	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NAIL105	Internet and Classification Methods	summer	summer s.:1/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL106	Multiagent Systems	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NAIL108	Mobile Robotics	summer	summer s.:1/1, MC [HT]	32-KTIML	11320	no	no		no
NAIL109	Applications of Computational Intelligence Methods	winter	winter s.:0/4, C [HT]	32-KTIML	11320	no	no		no
NAIL110	Practical Course in Robotics	summer	summer s.:1/3, MC [HT]	32-KTIML	11320	no	no		no
NAIL111	Advanced mathematical logic	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NDBI023	Data Mining	summer	summer s.:4/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NDBI031	Statistical Methods in Data Mining Systems	winter	winter s.:1/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NLTM001	Set Theory	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NLTM006	Fundamentals of Mathematical Logic	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NLTM011	Advanced Model Theory	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NLTM014	Nonstandard Seminar I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NLTM015	Nonstandard Seminar II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NLTM030	Introduction to Set Theory	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NLTM036	Basic Nonstandard Seminar	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NMUE023	Logic and Set Theory	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NMUM818	Logic and Set Theory (CŽV)	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NOPT042	Constraint Programming	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NOPT056	Introduction to Smart Grids	winter	winter s.:1/1, Ex [HT]	32-KTIML	11320	no	no		no
NOPT057	Game Theory in Smart Grids	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NOPT058	Advanced seminar on Optimization methods	summer	summer s.:0/1, C [HT]	32-KTIML	11320	no	no		no
NPOZ004	Natural and Artificial Thought I	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NPOZ005	Natural and Artificial Thought II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NPRG025	Interfaces in Robotics	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NPRG037	Microcontroller Programming	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NSWI103	Project Management – System Dynamics I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NSWI104	Company Management – System Dynamics II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NTIN004	Seminar on Parallel Algorithms	both	0/2, C [HT]	32-KTIML	11320	no	no		no
NTIN006	Algebraic Algorithms	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN023	Dynamic Graph Data Structures	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN032	Seminar on Dynamic Data Structures	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NTIN040	Parsing Schemes I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NTIN041	Parsing Schemes II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NTIN060	Algorithms and Data Structures I	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NTIN062	Complexity I	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NTIN063	Complexity	summer	summer s.:2/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NTIN064	Computability	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN065	Computability II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN066	Data Structures I	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NTIN067	Data Structures II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN070	Software Testing	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN071	Automata and Grammars	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NTIN073	Recursion	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN074	Recursion II	summer	summer s.:2/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NTIN079	Formal Dependency Syntax I	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN080	Formal Dependency Syntax II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN081	Structural Complexity	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN082	Computational Complexity	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN084	Bioinformatics Algorithms	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no	no		no
NTIN088	Algorithmic Randomness	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN089	Algorithmic Randomness II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN090	Introduction to Complexity and Computability	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no	no		no
NTIN091	Seminar for MSc. and Ph.D.-students I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NTIN092	Seminar for MSc. and Ph.D.-students II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NTIN093	Seminar on Boolean Functions I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NTIN094	Seminar on Boolean Functions II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NTIN096	Pseudo-Boolean Optimization	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN097	Hypercube Problems	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NTIN099	Algorithmic Aspects of Boolean Functions and Parameterized Complexity	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NUMP016	Logic and Set Theory	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no	no		no
NUOS005	Seminar on TeX	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no	no		no
NUOS007	Seminar on METAFONT	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no	no		no