Nichtprozedurale Programmierung

Sommersemester 1996 (2V + 1Ü + 1 P)
Dr. Georg Schied

Termine

• Vorlesung: Dienstag, 8.30-10.00 Uhr, Raum 1.034
  
• Übungen: Freitag, 8.30-10.00 Uhr, Raum 1.031 (14-tägig)
  
• Rechnerübungen: n.V.

Klausur

• Dienstag, 23. Juli 1996, 10.00 Uhr, Raum 1.034
• Dauer: 120 Minuten
• keine Hilfsmittel erlaubt (ausländische Studenten dürfen Sprachlexika verwenden)

1. Einführung ( nproz1.2.ps.gz, 22k)
2. Grundlagen der funktionalen Programmierung ( nproz2.2.ps.gz, 28k)
3. Der Lambda-Kalkül ( nproz3.2.ps.gz, 34k)
4. Algebraische Datentypen ( nproz4.2.ps.gz, 21k)
5. Interpretation funktionaler Sprachen ( nproz5.2.ps.gz, 19k)
6. Unendliche Datenstrukturen und Lazy Evaluation ( nproz6.2.ps.gz, 33k)
7. Grundlagen der logischen Programmierung ( nproz7.2.ps.gz, 41k)
8. Prolog und Gödel ( nproz8.2.ps.gz, 26k)
9. Constraint logic programming ( nproz9.2.ps.gz, 25k)
10. Funktional-logische Programmierung ( nproz10.2.ps.gz, 36k)

Übungen

• Übungsblatt 1 (ueb1.dvi, ueb1.ps)
• Übungsblatt 2 (ueb2.dvi, ueb2.ps)
• Übungsblatt 3 (ueb3.dvi, ueb3.ps)
• Übungsblatt 4 (ueb4.dvi, ueb4.ps)
• Übungsblatt 5 (ueb5.dvi, ueb5.ps)
• Übungsblatt 6 (ueb6.dvi, ueb6.ps)

Rechnerübungen

• Einführung "Gofer" (Fr., 26.04.96) (gofer.2.ps.gz, 18 kb)
• Einführung "Prolog" (Fr., 14.06.96) (prolog.2.ps.gz, 17 kb)
• Einführung "ALF" (Fr., 05.07.96) (alf.2.ps.gz, 18 kb)