Prof. Dr.-Ing. Hans-Georg Eßer
Professur für Betriebssysteme, FH Südwestfalen
Studiengänge Informatik (BSc), Angewandte Informatik (BSc/MSc), Angewandte KI (MSc)

swf.hgesser.de

Navigation
Startseite Downloads Impressum

Demnächst
WS 2026/27 Grundlagen BS Praktische BS 1 (= BS3) Betriebssysteme 2 Betriebssysteme 3 VB: Grundlagen BS VB-M: Konf.-Seminar VB-M: Server-BS VB-AKI: Systemsoftware
Planung folgende Jahre

Aktuell
SS 2026 Skriptsprachen VB: Rechnerarchitektur VB: Graphen, Codes, Aut. VB: Unix-artige BS VB-M: F+L Programm. VB-M: Techn. Dokum.

Vorlesungsarchiv
WS 2025/26 Betriebssysteme 2 Betriebssysteme 3 VB: Grundlagen BS VB-M: Konf.-Seminar VB-M: Server-BS VB-AKI: Systemsoftware
SS 2025 Betriebssysteme 1 Skriptsprachen VB: Rechnerarchitektur VB: Graphen, Codes, Aut. VB: Unix-artige BS VB-M: F+L Programm. VB-M: Techn. Dokum.
Gesamt-Archiv (ab 2016)

Über den Dozenten
Homepage [extern] Veröffentlichungen Didaktik-Fortbildungen Vorlesungen an der ... - TH Nürnberg - Hochschule München - FOM Hochschule - Hochschule Albstadt-Sigmaringen

FH Südwestfalen
Homepage

Funktionale und logische Programmierung
(Verbund, SS 2021)

Hier finden Sie Informationen und Material zu meiner Veranstaltung "Funktionale und logische Programmierung" (Verbund) an der FH Südwestfalen im Sommersemester 2021.

Online-Präsenztermine: Samstag 08:30, Zoom (Meeting-Raum: siehe Moodle)

Inhalte

Deklarative vs. imperative Programmierung
Funktionale Programmierung (Haskell, Scheme, F#, Lambda-Kalkül)
Logikprogrammierung (Prolog)

Aktuelles

[2021/06/12] Die Ergebnisse der Evaluation sind da -- danke fürs Mitmachen!
[2021/02/20] 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 (mp4)	Scans
1	06.03.2021	Einleitung	Teil 1 (249 MB)	PDF
2	20.03.2021	SK-Fragen aus Kap. 2 (User-definierte Typen, I/O), Übungsblatt P2	Teil 1 (149 MB)	--
-	08.04.2021	Online-Sprechstunde, ab 19 Uhr
3	10.04.2021	SK-Fragen aus Kap. 3 (Typklassen, Module), Übungsblatt P3	Teil 1 (135 MB)	--
4	24.04.2021	SK-Fragen aus Kap. 4 (Funktionen höherer Ordnung), Übungsblatt P4	Teil 1 (166 MB) *)	--
5	15.05.2021	SK-Fragen aus Kap. 5 (Applicative, Monad): Besprechung im WS 2019/20 (20 MB); Übungsblatt P5	Teil 1 (70 MB), Teil 2 (39 MB)	--
6	29.05.2021	SK-Fragen aus Kap. 6 (Prolog), Übungsblatt P6	Teil 1 (310 MB)	PDF
-	10.06.2021	Online-Sprechstunde, ab 19 Uhr
7	12.06.2021	16:15 bis 17:45 Uhr SK-Fragen aus Kap. 7 (Prolog-Praxis)	Teil 1 (207 MB)	--
-	17.06.2021	Online-Sprechstunde, ab 19 Uhr
K	26.06.2021	12:45 bis 14:15 Uhr: Klausur

*) In den ersten ca. 2,5 Minuten ist die Freigabe in der Aufzeichnung vom 24.04. schwarz.

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.

Funktionale und logische Programmierung (Verbund, SS 2021)