|
|
|
Funktionale und logische Programmierung (Verbund, WS 2019/20)
Hier finden Sie Informationen und Material zu meiner Veranstaltung
"Funktionale und logische Programmierung" (Verbund)
an der FH Südwestfalen im Wintersemester 2019/20.
Präsenztermine: Samstag 10:30, Raum P308
Inhalte
- Deklarative vs. imperative Programmierung
- Funktionale Programmierung (Haskell, Scheme, F#, Lambda-Kalkül)
- Logikprogrammierung (Prolog)
Aktuelles
[2019/12/14] Die Ergebnisse der Evaluation
liegen vor -- danke fürs Mitmachen!
[2019/09/08] Material zum Kurs, darunter den Lehrbrief und allgemeine Informationen finden Sie
im E-Learning-System (Moodle) der FH Südwestfalen.
Material
Fotos der Tafelbilder finden Sie hier.
| # | Tag |
Thema | Video (mov) |
| 1 | Sa. 21.09.2019 |
Einleitung |
Teil 1 (305 MB)
|
| 2 | Sa. 05.10.2019 |
SK-Fragen aus Kap. 2 (User-definierte Typen, I/O), Übungsblatt 1 |
Teil 1 (40 MB),
Teil 2 (25 MB)
|
| 3 | Sa. 19.10.2019 |
SK-Fragen aus Kap. 3 (Typklassen, Module), Übungsblatt 2 |
Teil 1 (49 MB),
Teil 2 (24 MB)
|
| 4 | Sa. 02.11.2019 |
SK-Fragen aus Kap. 4 (Funktionen höherer Ordnung), Übungsblatt 3 |
Teil 1 (88 MB)
|
| 5 | Sa. 16.11.2019 |
SK-Fragen aus Kap. 5 (Applicative, Monad), Übungsblatt 4 |
Teil 1 (20 MB),
Teil 2 (23 MB)
|
| 6 | Sa. 30.11.2019 |
Evaluation; SK-Fragen aus Kap. 6 (Prolog), Übungsblatt 5 |
Teil 1 (98 MB),
Teil 2 (12 MB)
|
| 7 | Sa. 15.12.2018 |
Besprechung der Evaluation; SK-Aufg. 21 aus Kap. 7 (Prolog),
Übungsblatt 6 |
Teil 1 (37 MB),
Teil 2 (20 MB)
|
| 8 | Sa. 11.01.2020 |
Besprechung Probeklausur; LINQ |
Teil 1 (143 MB)
|
Literatur
- H.-G. Eßer. Studienbrief zum Modul "Funktionale und logische Programmierung", via Moodle verfügbar. 2019
- W. H. Burge. Recursive programming techniques. Addison-Wesley Series in Electrical and Computer Engineering. Addison-Wesley Longman, 1975
Evaluation
Ich evaluiere alle Veranstaltungen. Zu den verschiedenen Vorlesungen finden Sie
die Auswertungen der Evaluationen
auf einer separaten Seite.
|