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