Vorlesungsfolien
Die Vorlesungsfolien sind jeweils verfügbar als ganzseitiges PDF zum Betrachten, oder als 8:1 Handzettel ohne Effekte zum Drucken:
- Vorlesung vom 18.10.2016 — Einführung: Folien, Handzettel, Quellen
- Vorlesung vom 25.10.2016 — Funktionen und Datentypen: Folien, Handzettel, Quellen
- Vorlesung vom 01.11.2016 — Algebraische Datentypen: Folien, Handzettel, Quellen
- Vorlesung vom 08.11.2016 — Typvariablen und Polymorphie: Folien, Handzettel, Quellen
- Vorlesung vom 15.11.2016 — Funktionen Höherer Ordnung I: Folien, Handzettel, Quellen
- Vorlesung vom 22.11.2016 — Funktionen Höherer Ordnung II und Effizienzaspekte: Folien, Handzettel, Quellen
- Vorlesung vom 29.11.2016 — Abstrakte Datentypen: Folien, Handzettel, Quellen
- Vorlesung vom 06.12.2016 — Signaturen und Eigenschaften: Folien, Handzettel, Quellen
- Vorlesung vom 13.12.2016 — Spezifikation und Beweis: Folien, Handzettel
- Vorlesung vom 20.12.2016 — Aktionen und Zustände: Folien, Handzettel, Quellen
- Vorlesung vom 10.01.2017 — Monaden als Berechnungsmuster: Folien, Handzettel, Quellen
- Vorlesung vom 17.01.17 — Domänenspezifische Sprachen (DSLs): Folien, Handzettel, Quellen
- Vorlesung vom 24.01.17 — Scala --- Eine praktische Einführung: Folien, Handzettel, Quellen
- Vorlesung vom 31.01.15 — Rückblick \& Ausblick: Folien, Handzettel
- Oder alle Vorlesungen in einer Datei: Folien, Handzettel
- Begleitmaterial zur Vorlesung vom 13.12.