19300001 Lecture

WiSe 16/17: Funktionale Programmierung

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
close

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
close

30 Class schedule

Additional appointments

Mon, 2017-02-20 10:00 - 12:00
Klausurtermin

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
HFB/C Hörsaal (Garystr. 35-37)
HFB/D Hörsaal (Garystr. 35-37)
T9/Gr. Hörsaal (Takustr. 9)

Mon, 2017-02-20 18:00 - 20:00
Klausur (Lehramt)

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2017-02-20 18:00 - 20:00
Tue, 2017-03-07 08:00 - 10:00
Klausureinsicht

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2017-04-10 10:00 - 12:00
Nachklausur

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/SR 005 Übungsraum (Takustr. 9)
T9/SR 006 Seminarraum (Takustr. 9)
T9/055 Seminarraum (Takustr. 9)
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-04-27 08:00 - 09:00
Nachklausur-Einsicht

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/055 Seminarraum (Takustr. 9)

Regular appointments

Wed, 2016-10-19 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2016-10-26 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2016-11-02 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2016-11-09 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2016-11-16 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2016-11-23 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2016-11-30 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2016-12-07 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2016-12-14 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2017-01-04 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2017-01-11 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2017-01-18 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2017-01-25 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2017-02-01 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2017-02-08 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2017-02-15 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2016-10-24 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2016-10-31 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2016-11-07 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2016-11-14 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2016-11-21 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2016-11-28 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2016-12-05 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2016-12-12 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2017-01-09 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2017-01-16 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2017-01-23 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2017-01-30 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2017-02-06 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2017-02-13 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Subjects A - Z