| | | |
| Code | Title | Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | 4EU+ |
|
NAIL002 |
Neural Networks |
winter |
winter s.:4/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL004 |
Seminar on Artificial Intelligence 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL006 |
Seminar on Logic Programming 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL008 |
Advanced Seminar on Cell Simulations on Computers |
both |
0/2, C [HT] |
32-KAM |
11320 |
no |
|
no |
|
NAIL009 |
Seminar on Logic Programming 2 |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL013 |
Applications of Neural Networks Theory |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL015 |
Neural Networks Implementation 2 |
summer |
summer s.:2/2, C+Ex [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 |
|
NAIL021 |
Boolean Functions and Their Applications |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL022 |
Methods of Logic Programming |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL025 |
Evolutionary Algorithms 1 |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL028 |
Introduction to Robotics |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL029 |
Machine Learning |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL052 |
Seminar on Artificial Intelligence 2 |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL056 |
Seminar on Logic I |
winter |
winter s.:0/2, C [HT] |
32-KA |
11320 |
no |
|
no |
|
NAIL060 |
Neural Networks Implementation 1 |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL062 |
Propositional and Predicate Logic |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL063 |
Set Theory |
summer |
summer s.:2/0, Ex [HT] |
32-KAM |
11320 |
no |
|
no |
|
NAIL065 |
Evolutionary Robotics |
summer |
summer s.:2/1, C+Ex [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NAIL068 |
Human-like Artificial Agents |
summer |
summer s.:2/2, C+Ex [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NAIL069 |
Artificial Intelligence 1 |
winter |
winter s.:2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL070 |
Artificial Intelligence 2 |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL071 |
Planning and Scheduling |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL076 |
Logic Programming 1 |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL077 |
Logic Programming 2 |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL078 |
Lambda Calculus and Functional Programming 1 |
winter |
winter s.:2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL079 |
Lambda Calculus and Functional Programming 2 |
summer |
summer s.:2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL080 |
Seminar on Logic II |
summer |
summer s.:0/2, C [HT] |
32-KA |
11320 |
no |
|
no |
|
NAIL082 |
Seminar on Humanlike Artificial Agents |
both |
0/2, C [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NAIL083 |
Mathematical Models of Cell Activity |
winter |
winter s.:2/0, Ex [HT] |
32-KAM |
11320 |
no |
|
no |
|
NAIL084 |
Computer Simulations of Cell Activity |
summer |
summer s.:2/0, Ex [HT] |
32-KAM |
11320 |
no |
|
no |
|
NAIL086 |
Evolutionary Algorithms 2 |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL087 |
Computers and Cognitive Sciences 1 |
winter |
winter s.:3/1, C+Ex [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NAIL088 |
Computers and Cognitive Sciences 2 |
summer |
summer s.:3/1, C+Ex [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NAIL093 |
Science writing workshop |
summer |
summer s.:0/1, C [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NAIL094 |
Decision procedures and SAT/SMT solvers |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL097 |
Functional programming |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL099 |
Seminar of machine learning and modelling 1 |
winter |
winter s.:0/1, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL100 |
Seminar of machine learning and modelling 2 |
summer |
summer s.:0/1, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL104 |
Probabilistic graphical models |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NAIL124 |
Exercises from Set Theory |
summer |
summer s.:0/2, C [HT] |
32-KAM |
11320 |
no |
|
no |
|
NAIL133 |
Human-like Artificial Agents |
summer |
summer s.:1/1, C+Ex [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NAIX002 |
Neural Networks |
winter |
winter s.:4/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX004 |
Seminar on Artificial Intelligence I |
winter |
winter s.:0/2, C [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX025 |
Evolutionary Algorithms I |
winter |
winter s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX028 |
Introduction to Robotics |
winter |
winter s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX052 |
Seminar on Artificial Intelligence II |
summer |
summer s.:0/2, C [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX060 |
Neural Networks Implementation I |
winter |
winter s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX062 |
Propositional and Predicate Logic |
winter |
winter s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX065 |
Evolutionary Robotics |
summer |
summer s.:2/1, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX068 |
Human-like Artificial Agents |
summer |
summer s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX069 |
Artificial Intelligence I |
winter |
winter s.:2/1, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX078 |
Lambda Calculus and Functional Programming I |
winter |
winter s.:2/1, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX086 |
Evolutionary Algorithms II |
summer |
summer s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NAIX094 |
Decision Procedures and Verification |
summer |
summer s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NDBI023 |
Data Mining |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NDBX023 |
Data Mining |
summer |
summer s.:4/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NDMI074 |
Algorithms and Their Implementation |
summer |
summer s.:2/2, C+Ex [HT] |
32-KAM |
11320 |
no |
|
no |
|
NDMI093 |
Seminar on algorithms and data structures |
summer |
summer s.:0/2, C [HT] |
32-KAM |
11320 |
no |
|
no |
|
NLTM001 |
Set Theory |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NLTM011 |
Advanced Model Theory |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NLTM021 |
Computability |
summer |
summer s.:2/0, Ex [HT] |
32-SISAL |
11320 |
no |
|
no |
|
NMAG405 |
Universal Algebra 1 |
winter |
winter s.:2/2, C+Ex [HT] |
32-KA |
11320 |
no |
|
no |
|
NMAI075 |
Seminar on classification of homogeneous structures |
winter |
winter s.:0/2, C [HT] |
32-KAM |
11320 |
no |
|
no |
|
NMMB431 |
Authentication Schemes |
summer |
summer s.:2/0, Ex [HT] |
32-KA |
11320 |
no |
|
no |
|
NOPT042 |
Constraint Programming |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NOPX042 |
Constraint Programming |
winter |
winter s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NSWI072 |
Data Compression Algorithms |
winter |
winter s.:2/0, Ex [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NSWI100 |
Seminar on Stringology and Data Compression |
both |
0/2, C [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NTIN004 |
Seminar on Parallel Algorithms |
both |
0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN017 |
Parallel Algorithms |
summer |
summer s.:2/0, Ex [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NTIN018 |
Probabilistic Analysis of Algorithms |
winter |
winter s.:2/0, Ex [HT] |
32-KDSS |
11320 |
no |
|
no |
|
NTIN022 |
Probabilistic Techniques |
winter |
winter s.:2/2, C+Ex [HT] |
32-IUUK |
11320 |
no |
|
no |
|
NTIN023 |
Dynamic Graph Data Structures |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN032 |
Seminar on Dynamic Data Structures |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN033 |
Experimental Analysis of Algorithms |
summer |
summer s.:2/2, C+Ex [HT] |
32-KDSS |
11320 |
no |
|
no |
|
NTIN040 |
Parsing Schemes 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN041 |
Parsing Schemes 2 |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN042 |
Parallel Algorithms |
summer |
summer s.:2/0, Ex [HT] |
32-KAM |
11320 |
no |
|
no |
|
NTIN043 |
Formal Foundations of Software Engineering |
winter |
winter s.:2/2, C+Ex [HT] |
32-KSI |
11320 |
no |
|
no |
|
NTIN046 |
Parsing and Syntactic Analysis |
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 |
|
NTIN055 |
Parallel Architectures |
winter |
winter s.:2/0, Ex [HT] |
32-KAM |
11320 |
no |
|
no |
|
NTIN058 |
Sorting |
winter |
winter s.:2/0, Ex [HT] |
32-KDSS |
11320 |
no |
|
no |
|
NTIN060 |
Algorithms and Data Structures 1 |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN061 |
Algorithms and Data Structures 2 |
winter |
winter s.:2/2, C+Ex [HT] |
32-KAM |
11320 |
no |
|
no |
|
NTIN063 |
Complexity |
summer |
summer s.:2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN064 |
Computability |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN065 |
Computability 2 |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN066 |
Data Structures 1 |
both |
2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN067 |
Data Structures 2 |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN070 |
Software Testing |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN071 |
Automata and Grammars |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN073 |
Recursion |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN074 |
Recursion 2 |
summer |
summer s.:2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN079 |
Formal Dependency Syntax 1 |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN080 |
Formal Dependency Syntax 2 |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN081 |
Computational complexity and interactive protocols |
summer |
summer s.:2/0, Ex [HT] |
32-IUUK |
11320 |
no |
|
no |
|
NTIN082 |
Nonuniform computational models |
summer |
summer s.:2/0, Ex [HT] |
32-IUUK |
11320 |
no |
|
no |
|
NTIN084 |
Bioinformatics Algorithms |
winter |
winter s.:2/2, C+Ex [HT] |
32-KSVI |
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 |
|
NTIN087 |
String Algorithms |
winter |
winter s.:2/0, Ex [HT] |
32-KSVI |
11320 |
no |
|
no |
|
NTIN088 |
Algorithmic Randomness |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN089 |
Algorithmic Randomness 2 |
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 |
|
NTIN093 |
Seminar on Boolean Functions 1 |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN094 |
Seminar on Boolean Functions 2 |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN095 |
Probabilistic Techniques 2 |
summer |
summer s.:2/2, C+Ex [HT] |
32-IUUK |
11320 |
no |
|
no |
|
NTIN096 |
Pseudo-Boolean Optimization |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN097 |
Hypercube structures |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN101 |
Selected Topics in Algorithms |
winter |
winter s.:2/0, Ex [HT] |
32-IUUK |
11320 |
no |
|
no |
|
NTIN103 |
Introduction to Parameterized Algorithms |
winter |
winter s.:2/2, C+Ex [HT] |
32-IUUK |
11320 |
no |
|
no |
|
NTIN107 |
Extension seminar Algorithms and Data Structures 1 |
summer |
summer s.:0/2, C [HT] |
32-KAM |
11320 |
no |
|
no |
|
NTIN108 |
Extension seminar Algorithms and Data Structures 2 |
winter |
winter s.:0/2, C [HT] |
32-KAM |
11320 |
no |
|
no |
|
NTIN109 |
Elective class at NCSU Prague |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN110 |
Selected Topics in Data Structures |
winter |
winter s.:2/0, Ex [HT] |
32-KAM |
11320 |
no |
|
no |
|
NTIN111 |
Selected Topics in Algorithms II |
summer |
summer s.:2/0, Ex [HT] |
32-IUUK |
11320 |
no |
|
no |
|
NTIN112 |
Combinatorial generation: graphs, structures, and algorithms |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIN114 |
Streaming algorithms for Big Data |
summer |
summer s.:2/0, Ex [HT] |
32-IUUK |
11320 |
no |
|
no |
|
NTIX022 |
Probabilistic Techniques |
winter |
winter s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NTIX061 |
Algorithms and Data Structures 2 |
winter |
winter s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NTIX063 |
Complexity |
summer |
summer s.:2/1, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NTIX066 |
Data Structures I |
both |
2/1, C+Ex [HT] |
32-KTIML |
11320 |
no |
|
no |
|
NTIX071 |
Automata and Grammars |
summer |
summer s.:2/2, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|
NTIX090 |
Introduction to Complexity and Computability |
winter |
winter s.:2/1, C+Ex [HT] |
32-STUD |
11320 |
no |
|
no |
|