After successful completion of the course, students are able to analyze and classify computational problems, mainly located in the area of logic-based AI, with tools from computational complexity theory.
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
computational complexiy theory, mathematical analysis, formal proofs, use cases, problem solving heuristics
Course in block form, March/April - May, planned for physical attendance.
If physical meetings will not be possible, for Distance Learning the plan would be:
- Lecture recordings, slides made available
- Questions and Answers (Q+A) sessions
- Discussion of exercises
Class schedule: Monday morning, 9:00 -12:30
(change after Easter break, tbd)
First Meeting: Monday, March 27, 2023
Further information by TISS-notifications in due time.
basic knowledge of concepts in theoretical computer science (Turing machine model, computation, algorithms) and logic (Boolean logic)
