Programmiersprachen

(Wintersemester 2006)

Klausur

Die Wiederholungsklausur findet am Do. 12. April 2007 um 14:00 Uhr (s.t.) im Raum MI 02.07.014. Anmeldungen zur Wiederholungsklausur können per E-mail an mich bis zum 29. März erfolgen.
Die Ergebnisse zur Klausur vom 08. Febr. 2007 wurden ausgehängt
Einsicht ist am Mi. 14 Febr. 2007 um 10:00 Uhr im Raum MI 02.07.014
Aufgaben
Lösungen

Vorlesung: Mi. 14:15-15:45 MI 02.07.014
Übung: Do. 14:15-15:45 MI 02.07.014, Erste Übung: 2. November 2006

Folien: Alle
1. 18.10.2006
2. 25.10.2006
3. 08.11.2006
4. 15.11.2006
5. 22.11.2006
6. 29.11.2006
7. 06.12.2006
8. 13.12.2006
9. 20.12.2006
10. 10.01.2007
11. 17.01.2007
12. 24.01.2007
13. 31.01.2007
14. 01.02.2007
Aufzeichnungen: Die aufgezeichneten Vorlesungen befinden sich im TeleTeachingTool-Archiv.

Funktionale Programmierung
- Merkmale der Funktionalen Programmierung
- 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
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