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

Informatik IV

Aktuell

Nachfolgend die Tabelle der Klausurergebnisse. An der Klausur haben 29 Studierende teilgenommen, davon haben 20 bestanden. Die Scheine können bei Frau Mignani (Zimmer Z1.05) abgeholt werden.

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.

Die Vorlesung wendet sich an Studierende im Haupt- und Nebenfach Informatik. Der Schein gilt für die Diplom-Vorprüfung im Haupt- und Nebenfach Informatik.

Personen

Prof. Dr. Fred Kröger

Adresse:	Raum 054, Oettingenstr. 67
Telephon:	2178 2150
Email-Adresse:	kroeger@informatik.uni-muenchen.de
Sprechstunde:	Do, 14-15 Uhr

Die Übungen werden betreut von

Dr. Stephan Merz

Adresse:	Raum E09, Oettingenstr. 67
Telephon:	2178 2182
Email-Adresse:	merz@informatik.uni-muenchen.de
Sprechstunde:	Mo, 10-11 Uhr

Termine

Vorlesung:      montags, 11-13 Uhr       Raum 1.14
            donnerstags, 11-13 Uhr       Raum 1.27
Übungen:      dienstags,  9-11 Uhr       Raum 17     (Gruppe 1)
              dienstags, 14-16 Uhr       Raum 1.35   (Gruppe 2)

Literatur

U. Schöning

Theoretische Informatik - kurzgefaßt. Spektrum Akademischer Verlag, 3. Auflage, 1999.

John E. Hopcroft, Jeffrey D. Ullmann

Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley, 1990 (1. Nachdruck 1992).
Originalausgabe: Introduction to Automata Theory, Languages, and Computation Addison-Wesley, 1979.

Thomas Sudkamp

Languages and Machines: An introduction to the Theory of Computer Science. Addison-Wesley, 1988 (2. Auflage 1997)

Franz Stetter

Grundbegriffe der Theoretischen Informatik. Springer-Verlag, 1988.

Klaus-W. Wagner

Einführung in die Theoretische Informatik. Springer-Verlag, 1994.

Ingo Wegener

Theoretische Informatik - eine algorithmische Einführung. Teubner, 1993 (Neuauflage 1999).

Kurzskript

• Inhaltsverzeichnis
• Einleitung, Literaturhinweise
• Seiten 5,6
• Seiten 7,8
• Seiten 9,10
• Seiten 11,12
• Seiten 13,14
• Seiten 15,16
• Seiten 17,18
• Seiten 19,20
• Seiten 21,22
• Seiten 23,24
• Seiten 25,26
• Seiten 27,28
• Seiten 29,30
• Seiten 31,32
• Seiten 33,34
• Seiten 35,36
• Seiten 37,38

Sonstiges

Für Turing-Maschinen existieren mehrere Simulatoren, leider habe ich keinen gefunden, der die Variante aus der Vorlesung unterstützt. Die Turing-Seite enthält einige Links auf Simulatoren, neben weiteren Informationen zu Leben und Werk von Alan Turing. Ich fand den Simulator von Suzanne Skinner recht nützlich und ansprechend gemacht. Für Hinweise und Anregungen bin ich dankbar, vielleicht hat jemand sogar Lust einen verfügbaren Simulator entsprechend abzuwandeln?

Übungsbetrieb

Es werden zwei Übungsgruppen angeboten, dabei besteht freie Wahl der Übungsgruppe. Am Montag jeder Woche werden Übungsblätter verteilt. Die mit (H) gekennzeichneten Aufgaben sind von Ihnen schriftlich zu lösen und bis spätstens zum darauffolgenden Dienstag, 9:00 Uhr im mit Informatik IV (nicht Prof. Kröger) gekennzeichneten Briefkasten in der Oettingenstr. 67 abzugeben (bei den Schließfächern links vom Haupteingang).

Die Lösungen der Hausaufgaben werden mit Punkten bewertet. Außerdem finden zu Beginn einiger Übungsstunden kurze schriftliche Tests über den aktuellen Stoff der Vorlesung statt, aus deren Ergebnis sich zusammen mit den erzielten Punkten aus den Hausaufgaben die Zulassung zur Klausur ergibt.

Anregungen, Kommentare? Bitte schicken Sie eine email an merz@informatik.uni-muenchen.de.