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

swf.hgesser.de


Navigation
Startseite
Downloads
Impressum
Demnächst
WS 2022/23
Planung folgende Jahre
Aktuell
SS 2022
  Betriebssysteme 1
  VB: Algorithmen und DS
  VB: Rechnerarchitektur
  VB: Grundlagen BS
  VB-M: F+L Programm.
  VB-M: Techn. Dokum.
Vorlesungsarchiv
WS 2021/22
  Betriebssysteme 2
  VB: Unix-basierte BS
  VB-M: Server-BS
  VB-M: Konferenzseminar
  VB-AKI: Systemsoftware
SS 2021
  Betriebssysteme 1
  VB: Algorithmen und DS
  VB: Grundlagen 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 2022)

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

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

[2022/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 ThemaVideo (mp4) Scans
105.03.2022 Einleitung Teil 1 (231 MB) --
219.03.2022 SK-Fragen aus Kap. 2 (User-definierte Typen, I/O), Übungsblatt P2;
Besprechung zu Aufgabe 1 (aus WS 2019/20): Video (25 MB)
Teil 1 (119 MB) --
302.04.2022 SK-Fragen aus Kap. 3 (Typklassen, Module), Übungsblatt P3 Teil 1 (161 MB) --
423.04.2022 SK-Fragen aus Kap. 4 (Funktionen höherer Ordnung), Übungsblatt P4 Teil 1 (166 MB) --
507.05.2022 SK-Fragen aus Kap. 5 (Applicative, Monad); Übungsblatt P5 Teil 1 (84 MB) --
621.05.2022 SK-Fragen aus Kap. 6 (Prolog), Übungsblatt P6 --
704.06.2022 16:15 bis 17:45 Uhr SK-Fragen aus Kap. 7 (Prolog-Praxis) --
KN.N. Klausur

Literatur

  • H.-G. Eßer. Studienbrief zum Modul "Funktionale und logische Programmierung", via Moodle verfügbar. 2022
  • 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.


Copyright © 2016-2021 Hans-Georg Eßer. Letzte Änderung: Friday, 13-May-2022 22:20:45 CEST
Anschrift: FH Südwestfalen, FB Informatik und Naturwissenschaften, Frauenstuhlweg 31, 58644 Iserlohn