19300001
Lecture
WiSe 20/21: Functional Programming
Margarita Esponda Argüero
Comments
Contents:
Introduction to Functional Programming (Haskell):
- Syntax (Backus-Naur Form)
- primitive data types, lists, tuples, strings
- expressions, function definitions, recursion and iteration
- evaluation strategies of functional programs
- higher-order functions
- polymorphism
- type system and verification
- Algebraic and abstract data types
- input, output and Monads
- searching and sorting algorithms
Introduction of computability:
- Lambda calculus
- Primitive Recursion
- μ-Recursion
Proofs of program properties:
- Term Rewriting
- Structural induction
- Termination
Implementation and programming technique:
- Modular program design
Suggested reading
- 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
30 Class schedule
Additional appointments
Thu, 2021-03-04 08:00 - 10:00Klausur
Thu, 2021-04-08 08:00 - 10:00
Nachklausur
Thu, 2021-04-15 08:00 - 10:00
Regular appointments
Tue, 2020-11-03 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2020-11-10 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2020-11-17 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2020-11-24 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2020-12-01 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2020-12-08 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2020-12-15 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2021-01-05 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2021-01-12 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2021-01-19 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2021-01-26 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2021-02-02 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2021-02-09 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2021-02-16 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Tue, 2021-02-23 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Thu, 2020-11-05 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2020-11-12 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2020-11-19 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2020-11-26 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2020-12-03 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2020-12-10 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2020-12-17 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2021-01-07 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2021-01-14 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2021-01-21 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2021-01-28 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2021-02-04 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2021-02-11 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2021-02-18 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Thu, 2021-02-25 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)