| |

Funktionale Programmierung W20/21
to Whiteboard Site

Description

Grundlagen der Berechenbarkeit:

  • Lambda-Kalkül
  • primitive Rekursion
  • µ-Rekursion

Einführung in die Funktionale Programmierung (Haskell):

  • Syntax (Backus-Naur-Form)
  • primitive Datentypen, Listen, Tupel, Zeichenketten
  • Ausdrücke, Funktionsdefinitionen, Rekursion und Iteration
  • Funktionen höherer Ordnung, Polymorphie
  • Typsystem, Typherleitung und –überprüfung
  • Algebraische und abstrakte Datentypen
  • Ein- und Ausgabe
  • Such- und Sortieralgorithmen

Beweisen von Programmeigenschaften:

  • Termersetzung
  • strukturelle Induktion
  • Terminierung

Implementierung und Programmiertechnik:

  • Auswertungsstrategien für funktionale Programme
  • Modularer Programmentwurf

 

Literatur

  • Simon Thompson: Haskell: The Craft of Functional Programming, 2nd Edition, Addison-Wesley, 1999
  • Graham Hutton: Programming in Haskell, Cambridge University Press, 2007
  • Bird, R./Wadler, Ph.: Einführung in Funktionale Programmierung, Hanser Verlag, 1982
  • Hans Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Springer-Verlag 1978
Basic Course Info
Course No Course Type Hours
19300001 Vorlesung 4
19300004 Seminar am PC 2
Time Span 03.11.2020 - 08.04.2021
Instructors
Margarita Esponda Argüero
Study Regulation
0086c_k150 2014, BSc Informatik (Mono), 150 LPs
0086d_k135 2014, BSc Informatik (Mono), 135 LPs
0087b_k90 2009, BSc Informatik (Kombi), 90 LPs
0087d_k90 2015, BSc Informatik (Kombi), 90 LPs
0088b_m60 2006, BSc Informatik (Kombi), 60 LPs
0088d_m60 2015, MSc Informatik (Kombi), 60 LPs
0396b_MA120 2015, MSc Wirtschaftsinformatik (Mono), 120 LPs
0496a_MA120 2016, MSc Computational Science (Mono), 120 LPs
0521a_m25 2018, Modulangebot Schwerpunktstudium Natur, 25 LPs
0525a_m10 2017, BSc Geist und Kultur (Mono), 10 LPs

Funktionale Programmierung W20/21
to Whiteboard Site

Main Events
Day Time Location Details
Tuesday  8-10 Online 2020-11-03 - 2021-02-23
Thursday  8-10 Online 2020-11-05 - 2021-02-25
Accompanying Events
Day Time Location Details
Tuesday  8-10 Virtual Raum 2 Sina Glöckner, Petrit Vidishiqi, Valentin Leonard Noske, Fabian Halama
Tuesday  8-10 Virtual Raum 3 Sina Glöckner, Petrit Vidishiqi, Valentin Leonard Noske, Fabian Halama
Tuesday  8-10 Virtual Raum 1 Sina Glöckner, Petrit Vidishiqi, Valentin Leonard Noske, Fabian Halama
Tuesday 12-14 Online Petrit Vidishiqi
Tuesday 14-16 Online Sina Glöckner
Tuesday 16-18 Online Valentin Leonard Noske
Tuesday 18-20 Online Sina Glöckner, Petrit Vidishiqi, Valentin Leonard Noske, Fabian Halama
Wednesday 12-14 Online Frederik Safner
Wednesday 14-16 Online Sina Glöckner
Wednesday 16-18 Online Valentin Leonard Noske
Thursday  8-10 Online1 G1-F
Thursday  8-10 Online3 G3-F
Thursday  8-10 Online2 G2-F
Thursday 10-12 Online Frederik Safner
Thursday 12-14 Online Fabian Halama
Thursday 14-16 Online Petrit Vidishiqi
Friday 14-16 Online Fabian Halama

Funktionale Programmierung W20/21
to Whiteboard Site

Most Recent Announcement

:  

Currently there are no public announcements for this course.


Older announcements

Funktionale Programmierung W20/21
to Whiteboard Site

Currently there are no resources for this course available.
Or at least none which you're allowed to see with your current set of permissions.
Maybe you have to log in first.