Die Übungen finden montags im 3. Block im Raum HG/2.13 statt. Übungsbetreuer bin ich, das heißt Wolfgang Jeltsch.

Übungsaufgaben

Die Übungsaufgaben für das gesamte Semester befinden sich im  Aufgabenblatt.

Das Lösen der Aufgaben ist freiwillig, wird aber sehr empfohlen. Abgegebene Lösungen werden korrigiert. In den Übungensblöcken wird jeweils bekannt gegeben, welche Aufgaben bis zu welchem Zeitpunkt gelöst werden sollten.

Nachfolgend einige Musterlösungen:

•  Aufgabe 1
•  Aufgabe 3
•  Aufgabe 4
•  Aufgabe 5
•  Aufgabe 7
•  Aufgabe 8
  
•  Aufgabe 9
  
•  Aufgabe 17
•  Aufgabe 18
  

Programmierung

Im Rahmen der Übung wird mit der funktionalen Programmiersprache  Haskell und der logischen Programmiersprache  Prolog gearbeitet. Im folgenden finden sich einige wichtige Informationen zu diesen Programmiersprachen.

Haskell

Die Seite  Learning Haskell enthält viele Informationen für Haskell-Einsteiger. Außerdem lohnt sich ein Blick auf die Seite zum Seminar Funktionale Programmierung.

Zum Bearbeiten der Haskell-Übungsaufgaben empfehle ich die Haskell-Implementierung  Hugs. Hugs ist ein Haskell-System, welches den derzeitigen Haskell-Standard nahezu unterstützt und außerdem diverse Spracherweiterungen kennt. Von Hugs gibt es einfach zu installierende Pakete für FreeBSD, verschiedene Linux-Systeme, Mac OS X sowie Windows.

Prolog

Für die Lösung der Prolog-Aufgaben empfehle ich  SWI-Prolog.

Literatur

Einführung

• Bachmann, Peter: Mathematische Grundlagen der Informatik. Akademie-Verlag, 1992
• Goos, Gerhard: Vorlesungen über Informatik. Band 1: Grundlagen und funktionales Programmieren. Springer, 1997

Algebraische Programmierung

• Bachmann, Peter: Mathematische Grundlagen der Informatik. Akademie-Verlag, 1992
• Drosten, Klaus: Termersetzungssysteme. Springer, 1989
• Loogen, Rita: Integration funktionaler und logischer Programmiersprachen. Oldenbourg, 1995

Funktionale Programmierung

• Bird, Richard; Wadler, Philip: Einführung in die funktionale Programmierung. Hanser, 1992
• Turner, Raymond: Constructive Foundations for Functional Languages. McGraw Hill, 1991
• Field, Anthony; Harrison, Peter: Functional Programming. Addison-Wesley, 1989
• Thiemann, Peter: Grundlagen der funktionalen Programmierung. B. G. Teubner, 1994
• Pepper, Peter: Funktionale Programmierung. Springer, 1999

Logische Programmierung

• Geske, Ulrich: Programmieren mit Prolog. Oldenbourg, 1988
• Goltz, Hans-Joachim; Herre, Heinrich: Grundlagen der logischen Programmierung. Akademie-Verlag, 1990
• Sterling, Leon; Shapiro, Ehud: The Art of PROLOG. MIT Press, 1994
• Clocksin, William; Mellish, Christopher: Programming in PROLOG. Springer, 1994

Weitere Informationen

Weitere Informationen findet man in der Modulbeschreibung.

Bei inhaltlichen und organisatorischen Fragen kann man mich telefonisch unter (0355) 69–3822, per E-Mail unter  jeltsch[at]informatik.tu-cottbus.de und physisch im Raum HG/2.14 kontaktieren.