course: Seminar Frontiers of Theoretical Computer Science

number:
150520
teaching methods:
seminar
media:
Moodle
responsible person:
Prof. Dr. Thomas Zeume
lecturer:
Prof. Dr. Thomas Zeume (Mathematik)
language:
german
HWS:
2
CP:
3
offered in:
summer term

dates in summer term

  • seminar: according to agreement

goals

In diesem Seminar wollen wir theoretische Grenzen aus verschiedensten Bereichen der theoretischen Informatik ausloten. Dabei soll der Fokus auf Grenzen aus der Logik, Komplexitäts- und Berechenbarkeitstheorie, sowie aus der Automatentheorie liegen.

content

Wo verläuft die Grenze zwischen Entscheidbarkeit und Unentscheidbarkeit? Welche Probleme lassen sich mit moderatem Ressourcenbedarf lösen? Wo liegen die Grenzen unserer Methoden für den Nachweis von unteren Schranken an den Ressourcenbedarf von Problemen? Was lässt sich überhaupt beweisen?

miscellaneous

InteressentInnen melden sich beim Dozenten unter: thomas.zeume@rub.de