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
Impressum
Demnächst
SS 2020
  Betriebssysteme 1
  VB: Grundlagen BS
  VB-M: Unix-Server-BS
Planung folgende Jahre
Aktuell
WS 2019/20
  Betriebssysteme 2
  VB: Rechnerarchitektur
  VB: GDI 3
  VB: Unix-basierte BS
  VB-M: F+L Programm.
  VB-M: Techn. Dokum.
Vorlesungsarchiv
SS 2019
  Betriebssysteme 1
  VB: Grundlagen BS
  VB-M: Unix-Server-BS
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 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/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 ThemaVideo (mov)
1Sa. 21.09.2019 Einleitung Teil 1 (305 MB)
2Sa. 05.10.2019 SK-Fragen aus Kap. 2 (User-definierte Typen, I/O), Übungsblatt 1 Teil 1 (40 MB), Teil 2 (25 MB)
3Sa. 19.10.2019 SK-Fragen aus Kap. 3 (Typklassen, Module), Übungsblatt 2 Teil 1 (49 MB), Teil 2 (24 MB)
4Sa. 02.11.2019 SK-Fragen aus Kap. 4 (Funktionen höherer Ordnung), Übungsblatt 3 Teil 1 (88 MB)
5Sa. 16.11.2019 SK-Fragen aus Kap. 5 (Applicative, Monad), Übungsblatt 4 Teil 1 (20 MB), Teil 2 (23 MB)
6Sa. 30.11.2019 Evaluation; SK-Fragen aus Kap. 6 (Prolog), Übungsblatt 5 Teil 1 (98 MB), Teil 2 (12 MB)
7Sa. 15.12.2018 Besprechung der Evaluation; SK-Aufg. 21 aus Kap. 7 (Prolog),
Übungsblatt 6

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, MeinProf...

Ich evaluiere alle Veranstaltungen. Zu den verschiedenen Vorlesungen finden Sie die Auswertungen der Evaluationen hier:

FH Südwestfalen

FOM Hochschule

TH Nürnberg

Hochschule München

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-2019 Hans-Georg Eßer. Letzte Änderung: Saturday, 14-Dec-2019 01:04:20 CET
Anschrift: FH Südwestfalen, FB Informatik und Naturwissenschaften, Frauenstuhlweg 31, 58644 Iserlohn