Grundlagen der Theoretischen Informatik

Wintersemester 2018/2019

Lehrbeauftragter:	Prof. Dr. Till Mossakowski
Wochenstunden:	3 SWh Vorlesung, 2 SWh Übung
Zuhörerkreis:	Bachelor CV, INF, IngIF, WIF, 3. Semester; MA, CMA, 5. Semester
Voraussetzungen:	keine
Prüfung:	durch Klausur am 14. Februar 2019, 11:00–13:00 Uhr in G26-H1
Unbenoteter Schein:	durch Klausur am 14. Februar 2019, 11:00–13:00 Uhr in G29-307

Inhalt: Grundlagen der Theoretischen Informatik ist eine Pflichtveranstaltung im Bachelorbereich, die eine Einführung in Formale Sprachen, Automatentheorie, Berechenbarkeitstheorie und Komplexitätstheorie gibt. Im folgenden Sommersemester wird die Fortsetzungsveranstaltung Grundlagen der Theoretischen Informatik II gehalten, in der die Themen dieser Veranstaltung vertieft werden.

Ausgewählte Literatur: (Weitere Bücher werden in der Vorlesung genannt.)

H. Lewis, C. Papadimitriou. Elements of the Theory of Computation (2nd Edition). Pearson, Prentice Hall, 1997.
M. Sipser. Introduction to the Theory of Computation (2nd Edition). Cengage Learning, Thomson, Boston, 2005.
J. Hopcroft, R. Motwani, J. Ullmann. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie (2., überarbeitete Auflage). Pearson Studium, München, 2002.
U. Schöning. Theoretische Informatik – kurz gefasst. Spektrum, Heidelberg, 2008.

Klausur:

Am Donnerstag, dem 14. Februar 2019, von 11:00 bis 13:00 Uhr in den Räumen G26-H1 und G29-307.
Die Aufteilung der Studierenden auf die Räume ist folgende.
- G26-H1: benotete Prüfungsleistung
- G29-307: unbenotete Leistung (Schein)
Den für Sie zutreffenden Raum für Ihre angemeldete Klausur finden Sie auch im LSF.
Damit pünktlich begonnen werden kann, sind die Plätze unbedingt spätestens 15 Minuten vor Beginn einzunehmen.
Es sind keine Hilfsmittel zugelassen, Schreibutensilien sind mitzubringen, Schreibpapier wird gestellt.

Teilnahme an der Klausur:

Den Studierenden, die die Berechtigung zur Teilnahme an der Klausur erworben haben, wird das bis zum Freitag, dem 8. Februar 2019, per E-Mail an die Adresse bestätigt, die zur Einschreibung für die Übungsgruppen zu Beginn des Semesters verwendet wurde.
Im Zweifelsfalle wenden Sie sich bitte per E-Mail an Ihren Übungsleiter.
Die in dieser Lehrveranstaltung erreichte Berechtigung zur Teilnahme an der Klausur gilt für die
- Prüfungsklausur (benotete Leistung) oder
- die Klausur zum Erwerb eines Leistungsnachweises (unbenotete Leistung).
Die Berechtigung zur Teilnahme an der Klausur zum Erwerb eines Leistungsnachweises (unbenotete Leistung) gilt nur für dieses Wintersemester und für das folgende Sommersemester.
Gelingt es nicht, den ubenoteten Leistungsnachweis in einem dieser beiden Semestern zu erwerben, verfällt die Berechtigung zur Teilnahme an der Klausur zum Erwerb eines Leistungsnachweises (unbenotete Leistung).

Aktuelle Informationen:

Bei Fragen und Problemen wenden Sie sich bitte per E-Mail an theorie (at) cs.uni-magdeburg.de.

Vorlesungsfolien:

Vorlesung 1 (Druckversion), Vorlesung 2 (Druckversion), Vorlesung 3 (Druckversion), Vorlesung 4 (Druckversion),
Vorlesung 5 (Druckversion), Vorlesung 6 (Druckversion), Vorlesung 7 (Druckversion), Vorlesung 8 (Druckversion),
Vorlesung 9 (Druckversion), Vorlesung 10 (Druckversion), Vorlesung 11 (Druckversion), Vorlesung 12 (Druckversion),
Vorlesung 13 (Druckversion), Vorlesung 14 (Druckversion), Vorlesung 15 (Druckversion), Vorlesung 16 (Druckversion),
Vorlesung 17 (Druckversion), Vorlesung 18 (Druckversion), Vorlesung 19 (Druckversion), Vorlesung 20 (Druckversion).

Vorlesungsfolien komplett in einer Datei:

Komplett in einer Datei (Druckversion),

Übungsblätter:

Übung 1 (42. KW), Übung 2 (43. KW), Übung 3 (44. KW), Übung 4 (45. KW), Übung 5 (46. KW),
Übung 6 (47. KW), Übung 7 (48. KW), Übung 8 (49. KW), Übung 9 (50. KW), Übung 10 (51. KW),
Übung 11 (2. KW), Belegaufgabe (16. Januar 2019, 11:00 Uhr), Übung 12 (3. KW), Übung 13 (4. KW).

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster