Course catalog

19300001

WiSe 15/16: 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

Thu, 2016-01-14 16:00 - 18:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
1.3.14 Hörsaal A (Arnimallee 14)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

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

Klausur

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
HFB/B Hörsaal (Garystr. 35-37)
HFB/C Hörsaal (Garystr. 35-37)
HFB/D Hörsaal (Garystr. 35-37)

Tue, 2016-02-23 08:00 - 10:00

Klausureinsicht

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2016-04-04 08:00 - 10:00

Nachklausur

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Hs 001/A3 Hörsaal (Arnimallee 3-5)
SR 006/T9 Seminarraum (Takustr. 9)
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2016-04-12 08:00 - 10:00

Klausureinsiht

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
SR 006/T9 Seminarraum (Takustr. 9)

Mon, 2016-04-18 08:00 - 09:00

Regular appointments

Wed, 10:00 - 12:00 15 Class schedule

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-10-21 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-10-28 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-11-04 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-11-11 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-11-18 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-11-25 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-12-02 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-12-09 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-12-16 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2016-01-06 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2016-01-13 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2016-01-20 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2016-01-27 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 10:00 - 12:00 15 Class schedule

Mon, 2015-10-19 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-10-26 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-11-02 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-11-09 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-11-16 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-11-23 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-11-30 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-12-07 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-12-14 10:00 - 12:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Back to list of modules

Location: Gr. Hörsaal\Taku 9 (Takustr. 9)

Schedule: Mo 10:00-12:00, Mi 10:00-12:00, zusätzliche Termine siehe LV-Details

Class starts on: 2015-10-14

Course language: German

Contact hours: 4

Limited attendance: No

Attendance required: No

Modules where this course belongs: