Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Entscheidbarkeit und Berechenbarkeit
held by: Prof. Dr. Markus Holzer
held in: SS 2007
schedule: Tuesday, 15:15 - 16:45 (MI 00.07.011)
    start date: 2007-04-17 / end date: 2007-07-20

news: Zur Vorlesung findet eine mündliche Prüfung statt. Interessenten melden sich bitte per Mail bei Herrn Holzer mit dem Subject "Prüfung Entscheidbarkeit und Berechenbarkeit" an.
sws: 2
ects: 3
Bereich:
2 SWS Vorlesung im Bereich Informatik III (Theoretische Informatik)

Übung:
keine

Hörerkreis:
Studierende im Grundstudium der Informatik
Studierende mit Nebenfach Informatik

Voraussetzungen:
Stoff des Informatik-Grundstudiums
Steff der Vorlesung Automaten, Formale Sprachen und Berechenbarkeit

Inhalt:
Einblicke in weitere verschiedene Aspekte der Theorie der formalen Sprachen und Berechenbarkeit.

Anbei eine Kurzzusammenfassung der Vorlesung.

Literatur:
S. B. Cooper. Computability Theory. Chapman and Hall 2003.

J. E. Hopcroft und J. D. Ullmann. Introduction to Automata Theory, Languages and Computation, Addison-Wesley 2001.

Sprechstunde:
nach Vereinbarung.