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
close

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.
close

25 Class schedule

Additional appointments

Wed, 2017-05-31 16:00 - 18:00
ProInformatik Informationsveranstaltung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/SR 005 Übungsraum (Takustr. 9)

Thu, 2017-07-20 17:00 - 18:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/137 Konferenzraum (Takustr. 9)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-08-29 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2017-08-30 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-08-31 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
JK 28/112 (Habelschwerdter Allee 45)

Fri, 2017-09-01 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Mon, 2017-09-04 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-09-05 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2017-09-06 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-09-07 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Fri, 2017-09-08 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Mon, 2017-09-11 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-09-12 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2017-09-13 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-09-14 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Fri, 2017-09-15 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Mon, 2017-09-18 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-09-19 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2017-09-20 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-09-21 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Fri, 2017-09-22 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Mon, 2017-09-25 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
KL 32/123 (Habelschwerdter Allee 45)

Tue, 2017-09-26 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
KL 32/123 (Habelschwerdter Allee 45)

Wed, 2017-09-27 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/049 Seminarraum (Takustr. 9)

Thu, 2017-09-28 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
KL 32/123 (Habelschwerdter Allee 45)

Fri, 2017-09-29 09:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/049 Seminarraum (Takustr. 9)

Subjects A - Z