326008—Decidability- and Complexity Classes
3260DC—Special Topics: Decidability- and Complexity Classes

Dr. Heinrich Rolletschek

February 16, 2018

1 Time and place:

Thursday 8:30–10:00, BA 9912, beginning March 8.

2 Contents:

This course is a follow-up to 326062: Computability Theory. The topics to be covered are:

3 Literature:

Lectures notes will be handed out. The following textbooks also contain chapters relevant for the course:

4 Exam

Oral exam by agreement. Just consult me when you are ready.