Theoretische Informatik II: Winter 2008/2009

Vorlesung und Praktikum:

Montag 26.1.2009 bis Freitag 30.1.2009 und Montag 2.2.2009 bis Freitag 6.2.2009 ausser Mittwoch 4.2.2009

Jeweils Vorlesung von 8:15 bis 9:45 im R 3.017 und Praktikum von 13:30-15:00 und 15:15 bis 16:45 im Labor R 3.020.

Prüfung:

Die mündlichen Prüfungen finden mit individueller Terminvereinbarung am Montag 9.2.2009 und Dienstag 10.2.2009 statt.

Skriptum:

Es existiert ein Skript von Prof. Dr. Schwichtenberg, LMU, das ich allerdings etwas überarbeiten möchte. Ich werde mich also in der Vorlesung nicht streng an dieses Skript halten, beabsichtige aber Änderungen oder Erweiterungen oder ganz neue Themen separat als Skript bereit zu stellen.

Reference Card:

Zu Scheme gibt es eine praktische Reference Card.

Revised Report:

Die aktuelle Spezifikation von Scheme findet man im Revised 6 Report on the Algorithmic Language Scheme. Die neue Spezifikation ist nicht kompatibel mit den älteren Spezifikationen. Für unseren Kurs ist die etwas ältere aber auch kürzer Fassung des Revised 5 Report on the Algorithmic Language Scheme ausreichend.

Internet Resources:

Eine Fülle von Material zu Scheme findet man im Internet unter www.schemers.org. Auch Scheme interpreter/compiler finden sich dort. Zum Beispiel Chez Scheme oder PLT Scheme.

Aufgaben und Lösungen für das Pratikum: