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, SS 2023)

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

Präsenztermine: Samstag 14:30, H309
(zwei Termine werktags 18:30, online)

Inhalte

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

Aktuelles

[2023/02/14] 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; einige Code-Dateien liegen hier.

Im SS 2023 finden drei Termine als Online-Termine abends unter der Woche statt.

#Tag ThemaVideo (mp4) Scans
106.03.2023, 18:30, online Einleitung Teil 1 (340 MB) pdf
218.03.2023, 14:30 SK-Fragen aus Kap. 2 (User-definierte Typen, I/O), Übungsblatt P2 Teil 1 (130 MB) --
301.04.2023, 14:30 SK-Fragen aus Kap. 3 (Typklassen, Module), Übungsblatt P3 Teil 1 (111 MB) pdf
422.04.2023, 14:30 SK-Fragen aus Kap. 4 (Funktionen höherer Ordnung),
Übungsblatt P4
Teil 1 (100 MB),
Teil 2 (8 MB)
pdf
506.05.2023, 14:30 SK-Fragen aus Kap. 5 (Applicative, Monad); Übungsblatt P5 Teil 1 (84 MB),
Teil 2 (19 MB)
--
620.05.2023, 14:30 SK-Fragen aus Kap. 6 (Prolog), Übungsblatt P6; Evaluation Teil 1 (96 MB) pdf
705.06.2023, 18:30, online SK-Fragen aus Kap. 7 (Prolog-Praxis), Übungsblatt P7 Teil 1 (205 MB) --
812.06.2023, 18:30, online Besprechung Probeklausur, letzte Fragen -> nur Moodle --
K17.06.2023, 12:30 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-2024 Hans-Georg Eßer. Letzte Änderung: Monday, 12-Jun-2023 20:35:21 CEST
Anschrift: FH Südwestfalen, FB Informatik und Naturwissenschaften, Frauenstuhlweg 31, 58644 Iserlohn