19307601
Lecture
SoSe 17: ProInformatik II: Functional Programming
Margarita Esponda Argüero
Additional information / Pre-requisites
Registration for the course can only be done through the Proinformatik registration!
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, Third Edition, Addison-Wesley, 2011.
- 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.
25 Class schedule
Additional appointments
Wed, 2017-05-31 16:00 - 18:00ProInformatik Informationsveranstaltung
Thu, 2017-07-20 17:00 - 18:00
Wed, 2017-09-20 09:00 - 10:00
Location:
T9/SR 006 Seminarraum (Takustr. 9)
Regular appointments
Mon, 2017-08-28 09:00 - 12:00
Tue, 2017-08-29 09:00 - 12:00
Wed, 2017-08-30 09:00 - 12:00
Thu, 2017-08-31 09:00 - 12:00
Fri, 2017-09-01 09:00 - 12:00
Mon, 2017-09-04 09:00 - 12:00
Tue, 2017-09-05 09:00 - 12:00
Wed, 2017-09-06 09:00 - 12:00
Thu, 2017-09-07 09:00 - 12:00
Fri, 2017-09-08 09:00 - 12:00
Mon, 2017-09-11 09:00 - 12:00
Tue, 2017-09-12 09:00 - 12:00
Wed, 2017-09-13 09:00 - 12:00
Thu, 2017-09-14 09:00 - 12:00
Fri, 2017-09-15 09:00 - 12:00
Mon, 2017-09-18 09:00 - 12:00
Tue, 2017-09-19 09:00 - 12:00
Wed, 2017-09-20 09:00 - 12:00
Thu, 2017-09-21 09:00 - 12:00
Fri, 2017-09-22 09:00 - 12:00
Mon, 2017-09-25 09:00 - 12:00
Tue, 2017-09-26 09:00 - 12:00
Wed, 2017-09-27 09:00 - 12:00
Thu, 2017-09-28 09:00 - 12:00
Fri, 2017-09-29 09:00 - 12:00