Fortgeschrittene funktionale Programmierung
LVA 185.210, VL 2.0, 2006 S
Vorlesung Folien vom | Thema | Verfügbare Formate (Folien pro Seite) | Hinweise und Bemerkungen |
28.06.2006 8. Vorlesungsteil | Pretty Printer, Haskell- Retrospektive | "1 F/S".ps "1 F/S".ps.gz "4 F/S".ps "4 F/S".ps.gz "8 F/S".ps "8 F/S".ps.gz | Keine |
21.06.2006 7. Vorlesungsteil | Parallelität | "1 F/S".ps "1 F/S".ps.gz "4 F/S".ps "4 F/S".ps.gz "8 F/S".ps "8 F/S".ps.gz | Keine |
14.06.2006 6. Vorlesungsteil | Testen (Spezifikations- basiert, Werkzeug- gestützt, Automatisch) | "1 F/S".ps "1 F/S".ps.gz "4 F/S".ps "4 F/S".ps.gz "8 F/S".ps "8 F/S".ps.gz | Aktualisiert am 15.06.2006 (siehe Folie 50 ff.) |
07.06.2006 5. Vorlesungsteil | Parsing | "1 F/S".ps "1 F/S".ps.gz "4 F/S".ps "4 F/S".ps.gz "8 F/S".ps "8 F/S".ps.gz | Keine |
24.05.2006 4. Vorlesungsteil | Logische Programmierung funktional | "1 F/S".ps "1 F/S".ps.gz "4 F/S".ps "4 F/S".ps.gz "8 F/S".ps "8 F/S".ps.gz | Keine |
17.05.2006 3. Vorlesungsteil | Korrektheitsfragen, mathematische Grundlagen | "1 F/S".ps "1 F/S".ps.gz "4 F/S".ps "4 F/S".ps.gz "8 F/S".ps "8 F/S".ps.gz | Keine |
10.05.2006 2. Vorlesungsteil | Ströme, Programmier- prinzipien | "1 F/S".ps "1 F/S".ps.gz "4 F/S".ps "4 F/S".ps.gz "8 F/S".ps "8 F/S".ps.gz | Keine |
27.04.2006 1. Vorlesungsteil | "Why Functional Programming Matters": Eine klassisch gewordene Antwort. | "1 F/S".ps "1 F/S".ps.gz "4 F/S".ps "4 F/S".ps.gz "8 F/S".ps "8 F/S".ps.gz | Keine |
09.03.2006 Vorbesprechung | Motivation und Organisatorisches | "1 F/S".ps "1 F/S".ps.gz "4 F/S".ps "4 F/S".ps.gz "8 F/S".ps "8 F/S".ps.gz | Termin und Ort der Vorbesprechung: Do, 09.03.2006, 15:00 Uhr, Bibliothek, Argentierstr. 8, 4. Stock. |
Übung Aufgabenblatt vom | Abgabe/Nachabgabe | Verfügbare Formate | Hinweise und Bemerkungen |
19.06.2006 | 28.06.2006 (12:00) / 30.06.2006 (20:00) |
Blatt 5.ps Blatt 5.ps.gz | Keine |
12.06.2006 | 21.06.2006 (12:00) / 28.06.2006 (12:00) |
Blatt 4.ps Blatt 4.ps.gz | Lösen Sie Namens- konflikte bei den vorgege- benen Typen geeignet auf. |
27.05.2006 | 07.06.2006 (12:00) / 19.06.2006 (12:00) |
Blatt 3.ps Blatt 3.ps.gz | Zweitabgabe 19.06.2006 |
21.05.2006 | 31.05.2006 (12:00) / 07.06.2006 (12:00) |
Blatt 2.ps Blatt 2.ps.gz | Keine |
15.05.2006 | 24.05.2006 (12:00) / 31.05.2006 (12:00) |
Blatt 1.ps Blatt 1.ps.gz | Die Vergabe der Rechneraccounts erfolgt in der Vorlesung am 17.05.2006. |