Inhalt

Vorlesung

Literatur

Zeit und Ort:	Montag, 12:15 - 13:45 (1180)
Übungsleitung:	Gertrud Bauer und Gerwin Klein

Übungsschein: Einen Schein erhält, wer mindestens 40% der Punkte aus den Hausaufgaben und Programmieraufgaben erreicht und erfolgreich an der Semestralprüfung teilnimmt.

Prüfung:
Die Semestralprüfung findet in Form einer schriftlichen Klausur anstelle der Übung von 12:15 Uhr bis 13:45 Uhr am Montag, den 31.7.2000 im Hörsaal 1180 statt. Als Hilfsmittel sind eigene Aufzeichnungen, die Unterlagen zur Übung, das Skript zur Vorlesung Lambda-Kalkül, und das Buch Term Rewriting and All That zugelassen.

Teilnahmeberechtigt sind alle Studierenden, die mindestens 40% der Punkte aus den Haus- und Programmieraufgaben erreicht haben.

Übungsblätter	Merkblätter
Aufgabenblatt 1 Aufgabenblatt 2 Aufgabenblatt 3 Aufgabenblatt 4 Aufgabenblatt 5, Programmrahmen Aufgabenblatt 6, Programmrahmen Aufgabenblatt 7 Aufgabenblatt 8 Aufgabenblatt 9 Aufgabenblatt 10 Aufgabenblatt 11 Klausur	Merkblatt 1

Links

• Gofer