Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
www.pst.informatik.uni-muenchen.de/Lehre/SS01/infoIV/

Informatik IV

Aktuell

Ergebnisse der Klausur vom 24.7.2001

Wenn Sie Ihre Klausur einsehen möchten, wenden Sie sich bitte direkt an Prof. Kröger (kroeger@informatik.uni-muenchen.de).

Scheine, die in Ermangelung eines Rückumschlags nicht verschickt werden konnten, sind auch bei Herrn Kröger abzuholen.

Inhalt

Die Vorlesung behandelt Grundlagen der Theoretischen Informatik: Sie gibt Einführungen in die Theorie der formalen Sprachen und Automaten sowie in die Berechenbarkeits- und Komplexitätstheorie.

Personen

Die Vorlesung wird von Prof. Dr. Fred Kröger gehalten. Die Übungen werden von Dr. Piotr Kosiuczenko und Dirk Pattinson betreut. Übungsgruppe 2 wird von Simon Bäumler geleitet.

Termine

Vorlesung:

Erste Vorlesung am Montag, 23.4.2001.

Übungen:

Die Übungen beginnen in der zweiten Semesterwoche (30.4.-4.5.2001).

Vorlesungsbegleitendes Tutorium

Übungsbetrieb, Klausur und Schein

Die Übungsblätter werden jeweils Montags in der Vorlesung verteilt. In den Übungen werden dann zwei der vier Aufgaben besprochen, die anderen beiden sind eine Woche später in den Übungen abzugeben. Sie werden in der folgenden Woche korrigiert zurückgegeben. Die mit einer Punktzahl gekennzeichneten Aufgaben werden gewertet und sollten deshalb unbedingt abgegeben werden.

Der Schein gilt für die Diplomvorprüfung Haupt- und Nebenfach Informatik.

Voraussetzung für den Erwerb des Übungsscheins sind entweder

• x >= 50% der maximal erreichbaren Übungspunkte und das Bestehen der Klausur am Semesterende mit mehr als 42% der maximal erreichbaren Punktzahl

• x < 50% der maximal erreichbaren Übungspunkte und das Bestehen der Klausur am Semesterende mit mehr als 42 + (50 - x) % der maximal erreichbaren Punktzahl.

Die Lösungen der Hausaufgaben können in Gruppen zu maximal 3 Personen abgegeben werden.

Übungsblätter

Literatur

Begleitend zur Vorlesung wird ein Kurzskriptum ausgegeben.

• Seiten 1 und 2 als Postscript-Datei oder als PDF-Datei
• Seiten 3 und 4 als Postscript-Datei oder als PDF-Datei
• Seiten 5 und 6 als Postscript-Datei oder als PDF-Datei
• Seiten 7 und 8 als Postscript-Datei oder als PDF-Datei
• Seiten 9 und 10 als Postscript-Datei oder als PDF-Datei
• Seiten 11 und 12 als Postscript-Datei oder als PDF-Datei
• Seiten 13 und 14 als Postscript-Datei oder als PDF-Datei
• Seiten 15 und 16 als Postscript-Datei oder als PDF-Datei
• Seiten 17 und 18 als Postscript-Datei oder als PDF-Datei
• Seiten 19 und 20 als Postscript-Datei oder als PDF-Datei
• Seiten 21 und 22 als Postscript-Datei oder als PDF-Datei
• Seiten 23 und 24 als Postscript-Datei oder als PDF-Datei
• Seiten 25 und 26 als Postscript-Datei oder als PDF-Datei
• Seiten 27 und 28 als Postscript-Datei oder als PDF-Datei
• Seiten 29 und 30 als Postscript-Datei oder als PDF-Datei
• Seiten 31 und 32 als Postscript-Datei oder als PDF-Datei
• Seiten 33 und 34 als Postscript-Datei oder als PDF-Datei
• Seiten 35 und 36 als Postscript-Datei oder als PDF-Datei
• Seiten 37 und 38 als Postscript-Datei oder als PDF-Datei
• Seiten 39 und 40 als Postscript-Datei oder als PDF-Datei
• Seiten 41 und 42 als Postscript-Datei oder als PDF-Datei

Weitere Lehrbücher:

• Schöning: Theoretische Informatik - kurz gefaßt. Spektrum Akademischer Verlag 1999 (3. Auflage), begleitendes Lehrbuch.
• Hopcroft/Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Assison-Wesely 1990 (1. Nachdruck 1992).
• Sudkamp: Languages and Machines: An Introduction to the Theory of Computer Science. Assison-Wesely 1988.
• Stetter: Grundbegriffe der Theoretischen Informatik. Springer 1988.
• Wagner:Einführung in die Theoretische Informatik. Springer 1994.
• Wegener:Theoretische Informatik. Teubner 1993.