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
SS 2025 Betriebssysteme 1 Skriptsprachen VB: Algorithmen und DS VB: Rechnerarchitektur VB: Graphen, Codes, Aut. VB: Unix-artige BS VB-M: F+L Programm. VB-M: Techn. Dokum.
Planung folgende Jahre

Aktuell
WS 2024/25 Betriebssysteme 2 Betriebssysteme 3 VB: Grundlagen BS VB/VB-M: Konf.-Seminar VB-M: Server-BS VB-AKI: Systemsoftware

Vorlesungsarchiv
SS 2024 Betriebssysteme 1 Skriptsprachen VB: Algorithmen und DS VB: Rechnerarchitektur VB: Graphen, Codes, Aut. VB: Unix-artige BS VB-M: F+L Programm. VB-M: Techn. Dokum.
WS 2023/24 Betriebssysteme 2 Systemprogrammierung VB: Grundlagen BS VB/VB-M: Konf.-Seminar VB-M: Server-BS VB-AKI: Systemsoftware
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, WS 2018/19)

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

Präsenztermine: Samstag 08:30, Raum H409

Inhalte

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

Aktuelles

[2018/12/05] Die Ergebnisse der Evaluierung liegen vor. Danke fürs Mitmachen!
[2018/09/10] Material zum Kurs sowie allgemeine Informationen finden Sie im E-Learning-System (Moodle) der FH Südwestfalen. Der Lehrbrief entsteht im Laufe dieses Semesters; Sie erhalten alle zwei Wochen ein neues Kapitel.

Material

Fotos der Tafelbilder finden Sie hier.

#	Tag	Thema	Video (mov)
1	Sa. 22.09.2018	Einleitung, A1-A27	Teil 1 (113 MB)
2	Sa. 06.10.2018	SK-Fragen aus Kap. 2 (User-definierte Typen, I/O), Übungsblatt 1	Teil 1 (81 MB), Teil 2 (15 MB)
3	Sa. 20.10.2018	SK-Fragen aus Kap. 3 (Typklassen, Module), Übungsblatt 2	Teil 1 (44 MB), Teil 2 (23 MB)
4	Sa. 03.11.2018	SK-Fragen aus Kap. 4 (Funktionen höherer Ordnung), Übungsblatt 3	Teil 1 (119 MB)
5	Sa. 17.11.2018	SK-Fragen aus Kap. 5 (Applicative, Monad), Übungsblatt 4	Teil 1 (43 MB), Teil 2 (44 MB)
6	Sa. 01.12.2018	Evaluation; SK-Fragen aus Kap. 6 (Prolog), Übungsblatt 5	Teil 1 (127 MB), Teil 2 (44 MB)
7	Sa. 15.12.2018	Besprechung der Evaluation; SK-Aufg. 21 aus Kap. 7 (Prolog), Übungsblatt 6	Teil 1 (50 MB), Teil 2 (26 MB)
8	Sa. 12.01.2019	LINQ; Besprechung Probeklausur	Teil 1 (165 MB)

Literatur

H.-G. Eßer. Studienbrief zum Modul "Funktionale und logische Programmierung", via Moodle verfügbar. 2018/19
W. H. Burge. Recursive programming techniques. Addison-Wesley Series in Electrical and Computer Engineering. Addison-Wesley Longman, 1975

Evaluation, MeinProf...

Ich evaluiere alle Veranstaltungen. Zu den verschiedenen Vorlesungen finden Sie die Auswertungen der Evaluationen auf einer separaten Seite.

Unabhängig von den regelmäßigen Evaluierungen würde ich mich freuen, wenn Sie meine Veranstaltung auch auf MeinProf.de bewerten; mein Profil finden Sie hier.

Hier ist der direkte Link zur Kursseite bei meinprof.de.