Inhalt

Vorlesung

Literatur

Zeit und Ort:	Mo, 14:00-16:00, S2229
Beginn:	Mo, 22.10.2001
Übungsleitung:	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.

Übungsblätter

Merkblätter

Aufgabenblatt 1 [pdf] [ps.gz] Aufgabenblatt 2 [pdf] [ps.gz] Aufgabenblatt 3 [pdf] [ps.gz] Aufgabenblatt 4 [pdf] [ps.gz] Aufgabenblatt 5 [pdf] [ps.gz] Aufgabenblatt 6 [pdf] [ps.gz] Aufgabenblatt 7 [pdf] [ps.gz] Aufgabenblatt 8 [pdf] [ps.gz] Aufgabenblatt 9 [pdf] [ps.gz] Aufgabenblatt 10 [pdf] [ps.gz] Aufgabenblatt 11 [pdf] [ps.gz] Aufgabenblatt 12 [pdf] [ps.gz] [update: 14.1.2002] Aufgabenblatt 13 [pdf] [ps.gz] Aufgabenblatt 14 [pdf] [ps.gz]

Merkblatt 1 [pdf] [ps.gz] [update: 19.10.01] Fragebogen [pdf] [ps.gz] Prolog [pdf] [ps.gz]

Links

• Isabelle
• SWI Prolog
• Gofer
• Haskell-Mode für Emacs (funktioniert auch für Gofer)

Gerwin Klein

Last modified: Mon Feb 9 12:16:13 MET 2004