Introduction to Theoretical Computer Science

• Lecturer:
  Prof. Dr. Susanne Albers
• Module:
  IN0011, TUMonline
• Area:
  4+2 SWS lectures + exercises per week
• Time and Location:
  Monday and Thurday, 14:00–16:00, MW 2001, Rudolf Diesel Lecture Hall
• Exercises:
  2 SWS tutorials per week
• Exam: TBA
• ECTS: 8 points
• Prerequisites:
  Module IN0015: Discrete Structures
  Module MA0901: Linear Algebra for Informatics
  Module MA0902: Analysis for Informatics

Slides

Complete slide set of the course   

Recordings

Link to the recordings

References

The content of this course is essentially covered by the following books.

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