Introduction to the Theory of Computation

Faculty

Faculty of Engineering and Computer Science

Version

Version 6.0 of 02/25/2023

Code of Module

11B0416

Modulename (german)

Theoretische Informatik

Study Programmes
  • Informatik - Medieninformatik (B.Sc.)
  • Informatik - Technische Informatik (B.Sc.)
  • Lehramt an berufsbildenden Schulen - Teilstudiengang Informationstechnik (M.Ed.)
Level of Module

3

Responsible of the Module

Morisse, Karsten

Lecturer(s)
  • Morisse, Karsten
  • Kleuker, Stephan
Credits

5

Concept of Study and Teaching
Workload Dozentengebunden
Std. WorkloadLehrtyp
60Vorlesungen
Workload Dozentenungebunden
Std. WorkloadLehrtyp
45Veranstaltungsvor-/-nachbereitung
15Prüfungsvorbereitung
30Literaturstudium
Recommended Reading

* Hopcroft, Motwani, Ulman: Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, 3. Auflage, Pearson, 2011* Lewis, Papadimitriou: Elements of the Theory of Computation, Prentice-Hall, 2nd Ed., 1997* Schöning: Theoretische Informatik kurz gefaßt* Sipser: Introduction to the Theory of Computation, Thomson, 2013* Erk, Priese: Theoretische Informatik, Springer-Verlag, 2008* Hoffmann: Theoretische Informatik, Hanser-Verlag, 2015

Graded Exam
  • Viva Voce
  • Two-Hour Written Examination
  • Portfolio exam
Duration

1 Term

Module Frequency

Winter and Summer Term

Language of Instruction

German