Theoretische Informatik I
(Informatik, berufsbgl. Lehramt Gymn.)

Wintersemester 2004/05

E-mail:
stefan.schirra@isg.cs.uni-magdeburg.de

Vorlesung:
Dienstag 13-15, HS 2 in Gebäude 22A (ehemals G22A-021)

Inhalt:
Dies ist der erste Teil einer zweisemestrigen Vorlesung, die eine Einführung in formale Sprachen, Automatentheorie, Berechnenbarkeitstheorie und Komplexitätstheorie gibt.

Vorlesungsfolien

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)

Übungen:

Zeit Ort Beginn Mo 9:15 - 10:45 gKW G22A-113 25. Oktober Mi 11:15 - 12:45 gKW G29-E037 13. Oktober Mi 11:15 - 12:45 uKW G29-E037 20. Oktober   Nur für berufbgl. Lehramt Gymn.: Di 9:15 - 10:45 uKW G05-209 19. Oktober

1.Übungsblatt   2.Übungsblatt   3.Übungsblatt   4.Übungsblatt   5.Übungsblatt   6.Übungsblatt   7.Übungsblatt   8.Übungsblatt

Literatur:
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;