Theoretische Informatik II
(Informatik, Lehramt)

Sommersemester 2005

Stundenplan
Vorlesungen beginnen um 11:05 Uhr!

Ergebnisse der Prüfungsklausur vom 08.02.2006

Ergebnisse der Leistungsnachweisklausur vom 20.9.2005 für berufsbegl. Studium Gymn. Lehrer.

Ergebnisse der Prüfungsklausur vom 27.07.2005

Inhalt:
Dies ist der zweite Teil einer zweisemestrigen Vorlesung, die eine Einführung in formale Sprachen, Automatentheorie, Berechnenbarkeitstheorie und Komplexitätstheorie gibt. (Webseite zum ersten Teil)

Vorlesungsfolien (mit weißem Hintergrund):
  1. Vorlesung (pdf)
  2. Vorlesung (pdf)
  3. Vorlesung (pdf)
  4. Vorlesung (pdf)
  5. Vorlesung (pdf)
  6. Vorlesung (pdf)
  7. Vorlesung (pdf)
  8. Vorlesung (pdf)
  9. Vorlesung (pdf)
10. Vorlesung (pdf)
11. Vorlesung (pdf)
12. Vorlesung (pdf)
13. Vorlesung (pdf)
14. Vorlesung (pdf)

Übungen:

  8. Übungsblatt (pdf)
  9. Übungsblatt (pdf)
10. Übungsblatt (pdf)
11. Übungsblatt (pdf)
12. Übungsblatt (pdf)
13. Übungsblatt (pdf)
14. Übungsblatt (pdf)

Literaturhinweise: Die Vorlesung ist zum großen Teil eng an folgendes Lehrbuch angelehnt:

Lewis, Papadimitriou; Elements of the Theory of Computation (2nd Edition); Prentice Hall;

Weitere Literatur zur Theoretischen Informatik:

Hopcroft, Motwani, Ullmann;
Introduction to Automata, Languages, and Computation (2nd Edition);
Pearson-Education;

Hopcroft, Motwani, Ullmann;
Einführung in der Automatentheorie, Formale Sprachen und Komplexitätstheorie (2., überarbeitete Auflage);
Pearson-Education;

Schöning;
Theoretische Informatik - kurgefasst (4. Auflage);
Spektrum Verlag;

Asteroth, Baier;
Theoretische Informatik;
Pearson-Education;

Wagner;
Theoretische Informatik - Eine kompakte Einführung;
Springer Verlag;