Theoretische Informatik I
(Informatik, Lehramt)

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

Vorlesung:
Dienstag 13-15, HS 4 in Gebäude 5

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

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

Übungen:
1. Übungsblatt (pdf)
2. Übungsblatt (pdf)
3. Übungsblatt (pdf)
4. Übungsblatt (pdf)
5. Übungsblatt (pdf)
6. Übungsblatt (pdf)
Die 2. Aufgabe des 6. Übungsblatts sowie das 7. Übungsblatt (pdf) werden in den Übungen zu Teil II der Vorlesung im Sommersemester besprochen.

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

Ü2	IF 101	B. Reichel	2. Woche	Montag	9.00-11.00	G29-E037
Ü2	IF 401	B. Reichel	2. Woche	Mittwoch	11.00-13.00	G29-E037
Ü2	IF 501	B. Reichel	1. Woche	Mittwoch	11.00-13.00	G29-E037
Ü2	Gym 01	B. Reichel	1. Woche	Dienstag	9.15-10.45	G05-209

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 Verlag;

Asteroth, Baier;
Theoretische Informatik;
Pearson-Education;