19301201
Lecture
WiSe 24/25: Foundations of Theoretical Computer Science
Katharina Klost, Wolfgang Mulzer
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
Regular appointments
Mon, 2024-10-21 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2024-10-28 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2024-11-04 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2024-11-11 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2024-11-18 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2024-11-25 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2024-12-02 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2024-12-09 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2024-12-16 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-01-06 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-01-13 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-01-20 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-01-27 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-02-03 10:00 - 12:00
Grundlagen der theoretischen Informatik
Mon, 2025-02-10 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 ... read more