Theoretische Informatik II
(Informatik, Lehramt)

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

Vorlesung:
Dienstag 11:05-12:35, HS 3 in Gebäude 50

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)

Hörerkreis:
Grundstudium, 4. Semester; IF 01, berufsbegl. Studium Gymnasialschullehrer Matr. 01

Prüfung

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)

Nach Buchkapiteln zusammengefasst: (Kapitel 1) (Kapitel 2) (Kapitel 3)  Kapitel 4  Kapitel 5  Kapitel 6  Kapitel 7

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

Die Übungen beginnen in der ersten Vorlesungswoche! Besprochen werden die 2. Aufgabe des 6. Übungsblatts des Vorsemesters sowie das 7. Übungsblatt (pdf)

1. Woche bedeutet: 14-tägig in jeder ungeraden Kalenderwoche.
2. Woche bedeutet: 14-tägig in jeder geraden Kalenderwoche.

Ü2	IF	B. Reichel	2. Woche	Donnerstag	9.00-11.00	G29-K058
Ü2	IF	B. Reichel	1. Woche	Donnerstag	15.00-17.00	G29-K058
Ü2	IF	B. Reichel	2. Woche	Donnerstag	15.00-17.00	G29-K058
Ü2	Gym 01	B. Reichel	1. Woche	Dienstag	9.15-10.45	G05-300

Literatur:

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

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;

Asteroth, Baier;
Theoretische Informatik;
Pearson-Education;

Sipser;
Introduction to the Theory of Computation;
PWS-Publishing Company;