Knowledge and awarenes of the complexity problem in the area of intelligent systems. Plain analysis of complexity, knowledge and usage of methods for demonstrating inherent intractability of problems.
Problem solving methods whith are connected with intelligent systems, via methods of complexity theory. Design of efficient algorithms starting from the analysis of the complexity of problems on exemplaric intelligent systems.
ECTS breakdown: 3 ECTS = 75 Hours
- Lecture presentation 0.5h
- Lecture 17.5h
- Further reading 25h
- Discussion of the exercises 1.5h
- Solving the exercises 30h
- Oral exam (if applicable) 0.5h
basic knowledge of concepts in theoretical computer science (Turing machine model, computation, algorithms) and logic (Boolean logic)