| | | |
| 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 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL006 |
Seminar on Logic Programming 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL009 |
Seminar on Logic Programming 2 |
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 2 |
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 1 |
winter |
winter s.:2/2, C+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 |
|
NAIL052 |
Seminar on Artificial Intelligence 2 |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL060 |
Neural Networks Implementation 1 |
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 1 |
winter |
winter s.:2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL070 |
Artificial Intelligence 2 |
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 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL074 |
Robot 2 |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL076 |
Logic Programming 1 |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL077 |
Logic Programming 2 |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL078 |
Lambda Calculus and Functional Programming 1 |
winter |
winter s.:2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL079 |
Lambda Calculus and Functional Programming 2 |
summer |
summer s.:2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL086 |
Evolutionary Algorithms 2 |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL094 |
Decision procedures and SAT/SMT solvers |
summer |
summer 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 1 |
winter |
winter s.:0/1, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL100 |
Seminar of machine learning and modelling 2 |
summer |
summer s.:0/1, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL101 |
Probabilistic Robotics |
winter |
winter 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 |
|
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 |
|
NAIL112 |
Middleware for robotics |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL113 |
Introduction to Artificial Intelligence |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL114 |
Seminar on Data Mining |
summer |
summer s.:1/2, MC [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL115 |
Nature Inspired Algorithms |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL116 |
Social networks and their analysis |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL119 |
Nature Inspired Algorithms |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL120 |
Introduction to Artificial Intelligence |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL121 |
Seminar on Data Mining |
summer |
summer s.:1/2, MC [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL125 |
Seminar on advanced data analysis |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NAIL126 |
Foundations of Robotics |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NDBI023 |
Data Mining |
summer |
summer s.:2/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 |
|
NLTM011 |
Advanced Model Theory |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NLTM014 |
Nonstandard Seminar 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NLTM015 |
Nonstandard Seminar 2 |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NOPT042 |
Constraint Programming |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NOPT058 |
Applications of optimization techniques |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NOPT059 |
Large-scale optimization: Exact methods |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NOPT061 |
Large-scale optimization: Metaheuristics |
summer |
summer s.:2/2, C+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 |
|
NSWI180 |
Smart IoT Devices |
summer |
summer s.:0/2, MC [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN004 |
Seminar on Parallel Algorithms |
both |
0/2, C [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 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN041 |
Parsing Schemes 2 |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN060 |
Algorithms and Data Structures 1 |
summer |
summer s.:2/2, 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 2 |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN066 |
Data Structures 1 |
both |
2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN067 |
Data Structures 2 |
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 2 |
summer |
summer s.:2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN079 |
Formal Dependency Syntax 1 |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN080 |
Formal Dependency Syntax 2 |
summer |
summer s.:2/0, 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 2 |
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 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN092 |
Seminar for MSc. and Ph.D.-students 2 |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN093 |
Seminar on Boolean Functions 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN094 |
Seminar on Boolean Functions 2 |
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 structures |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN099 |
Algorithms for knowledge representation |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN106 |
Implementation of algorithms and data structures |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN109 |
Elective class at NCSU Prague |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIN112 |
Combinatorial generation: graphs, structures, and algorithms |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|
NTIX066 |
Data Structures I |
both |
2/1, C+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 computer typography |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
no |
|
no |
|