| |

Funktionale Programmierung W21/22
to Whiteboard Site

Description

Die Vorlesung findet vorrangig in präsenz statt. Für Studierende, die nicht in Präsenz teilnehmen können, wird die Vorlesung via Webex übertragen.

Meeting Link: https://fu-berlin.webex.com/fu-berlin-en/j.php?MTID=m113f6d2912cbdbd0f456a6979a02407d

Meeting Nummer: 2733 546 1560

Passwort: q8ZbMaJJx52

Zugangsdaten für die online Tutorien

Zugangsdaten:

Oskar Besler:

https://fu-berlin.webex.com/meet/besleo00

Florian Alex:

Seminar am PC 13 (Montag 12-14 Uhr)
Meeting-Link: https://fu-berlin.webex.com/fu-berlin/j.php?MTID=m1cb520084f3306df8fcf0dbc15b2c4d1
Meeting-Kennnummer (Zugriffscode): 2734 311 2199
Meeting-Passwort: 5mzHiARkB25

Seminar am PC 04 (Dienstag 14-16 Uhr)
Meeting-Link: https://fu-berlin.webex.com/fu-berlin/j.php?MTID=mf268ef3f22a4b9c2414d051463fc9b51
Meeting-Kennnummer (Zugriffscode): 2730 668 3927
Meeting-Passwort: FMeGUSPc462

Jonas Schäfer

https://fu-berlin.webex.com/meet/j.schaefer

Trang Linh Lam

https://fu-berlin.webex.com/fu-berlin/j.php?MTID=mb15380c01fb569a7a41d9e06464de0be

Luca Kempkes

https://fu-berlin.webex.com/meet/kemkel01

Leonard Eckhoff

https://fu-berlin.webex.com/meet/l.eckhoff

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

  • Miran Lipovača: Learn You a Haskell for Great Good!, no starch press, 2011 http://learnyouahaskell.com/chapters
  • Marco Block, Adrian Neumann: Haskell Intensivkurs; https://link.springer.com/book/10.1007/978-3-642-04718-3
  • 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 20.10.2021 - 07.04.2022
Instructors
Katharina Klost
Kristin Knorr
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 W21/22
to Whiteboard Site

Main Events
Day Time Location Details
Monday 10-12 T9/Gr. Hörsaal 2021-10-25 - 2022-02-14
Monday 10-12 2021-10-25 - 2022-02-14
Wednesday 10-12 T9/Gr. Hörsaal 2021-10-20 - 2022-02-16
Wednesday 10-12 2021-10-20 - 2022-02-16
Accompanying Events
Day Time Location Details
??  8-10 T9/055 Seminarraum Seminar am PC 12
Monday 12-14 T9/SR 006 Seminarraum Oskar Besler
Monday 12-14 Online Florian Alex
Monday 14-16 T9/046 Seminarraum Oskar Besler
Tuesday  8-10 T9/SR 005 Übungsraum Jonas Schäfer
Tuesday 14-16 T9/051 Seminarraum Florian Alex
Tuesday 16-18 T9/051 Seminarraum Luca Nicolas Kemkes
Tuesday 16-18 T9/SR 006 Seminarraum Trang Linh Lam
Wednesday  8-10 T9/049 Seminarraum Jonas Schäfer
Wednesday 12-14 T9/051 Seminarraum Leonard Eckhoff
Wednesday 12-14 Online Luca Nicolas Kemkes
Wednesday 14-16 A7/SR 031 Leonard Eckhoff
Wednesday ? - ? Seminar am PC 08

Funktionale Programmierung W21/22
to Whiteboard Site

Most Recent Announcement

:  

Currently there are no public announcements for this course.


Older announcements

Funktionale Programmierung W21/22
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.