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

Dr. Heinrich Rolletschek

February 18, 2020

1 Time and place:

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

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.