Einführung in die Theoretische Informatik

• Dozent:
  Prof. Dr. Susanne Albers
• Modul:
  IN0011, TUMonline
• Bereich:
  4+2 SWS Vorlesung + Übung im Bachelor Grundstudium
• Zeit und Ort:
  Montag und Donnerstag, 14:00–16:00, MW 2001, Rudolf-Diesel-Hörsaal
• Übung:
  2 SWS Tutorübung zur Vorlesung
• Prüfung: Termin wird noch bekannt gegeben.
• ECTS: 8 Punkte
• Voraussetzungen:
  Modul IN0015: Diskrete Strukturen
  Modul MA0901: Lineare Algebra für Informatik
  Modul MA0902: Analysis für Informatik

Folien

Kompletter Foliensatz der Vorlesung  

Aufzeichnungen

Link zu den Aufzeichnungen

Literatur

Die Inhalte der Vorlesung werden in wesentlichen Teilen durch folgende Bücher und Artikel abgedeckt:

1. J.E. Hopcroft, R. Motwani, J.D. Ullmann
   Introduction to Automata Theory, Languages, and Computation
   Pearson, 2006
2. M. Sipser
   Introduction to the Theory of Computation
   Thomson Course Technology, 2012
3. D. Kozen
   Automata and Computability
   Springer, 2012
4. K. Erk, L. Priese 
   Theoretische Informatik: Eine umfassende Einführung
   Springer, 2001
5. U. Schöning
   Theoretische Informatik - kurz gefasst
   Spektrum Akademischer Verlag, 2008