Vorlesungsankündigung

(Wintersemester 2005)

Programmiersprachen

Funktionale Programmierung (FP)
- Merkmale der FP
- Grundlegende Konstrukte
- Funktionale Abschlüße
  - Curry Funktionen
  - Funktionen höherer Ordnung
  - Strikte Auswertung, Verzögerte Auswertung
  - Unendliche Ströme
- Typ-Inferenz
- Ausnahmen
- Imperative Features
- Rekursionsarten
- Continuations
  - Continuation Passing Style
  - Aktuelle Continuations (calcc)
  - Coroutinen, Threads
- Das Modul-System in SML
Logische Programmierung
- Grundlegende Konstrukte
- Unifikation
- Logik als Berechnungsmodel
- Logische Programme als deduktive Datenbanken
- Logische Programme zur Bearbeitung rekursiver Datenstrukturen
- Erweiterung um Negation
- Prolog
  - Berechnungsmodel
  - Arithmetik in Prolog
  - Cuts
  - Selbst-modifizierende Programme
Constraint-Programmierung
- Grundlegende Konstrukte
- Berechnungsmodel
- Constraints über linearen arithmetischen Ausdrücken
- Constraints über endlichen Wertebereichen

Vordiplom

Klausur

Beginn: 19. Oktober 2005
Vorlesung: Mi. 14:15-15:45 MI 02.07.014
Übung: Do. 14:15-15:45 MI 02.07.038

Die aufgezeichneten Vorlesungen befinden sich im TeleTeachingTool-Archiv.