19301201
Lecture
Foundations of Theoretical Computer Science
Günther Rothe
Comments
Contents:
- models of computation
- automata
- formal languates
- grammars and the Chomsky-hierarchy
- Turing-machines
- computabilty
- introduction to the complexity of computational problems
Suggested reading
- Uwe Schöning, Theoretische Informatik kurzgefasst, 5. Auflage, Spektrum Akademischer Verlag, 2008
- John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexität, Pearson Studium, 3. Auflage, 2011
- Ingo Wegener: Theoretische Informatik - Eine algorithmenorientierte Einführung, 2. Auflage, Teubner, 1999
- Michael Sipser, Introduction to the Theory of Computation, 2nd ed., Thomson Course Technology, 2006
- Wegener, Kompendium theoretische Informatik - Eine Ideensammlung, Teubner 1996
15 Class schedule
Additional appointments
Mon, 2026-02-23 14:00 - 16:00Klausur
Thu, 2026-04-09 10:00 - 12:00
Klausur
Regular appointments
Mon, 2025-10-20 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-10-27 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-11-03 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-11-10 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-11-17 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-11-24 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-12-01 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-12-08 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-12-15 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2026-01-05 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2026-01-12 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2026-01-19 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2026-01-26 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2026-02-02 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2026-02-09 10:00 - 12:00
Grundlagen der theoretischen Informatik
Contents:
models of computation automata formal languates grammars and the Chomsky-hierarchy Turing-machines computabilty introduction to the complexity of ... read more