19307601 Vorlesung

SoSe 15: ProInformatik II: Funktionale Programmierung

Margarita Esponda Argüero

Zusätzl. Angaben / Voraussetzungen

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

Kommentar

Inhalte

Studentinnen und Studenten erlernen die Grundlagen des Programmierens im Kleinen.

Es werden die Grundlagen der Berechenbarkeit (Lambda-Kalkül, primitive Rekursion, Fixpunkte), eine Einführung in die Theorie der Programmiersprachen (Syntax (Backus-Naur-Form), operationale Semantik, Daten und Programm) gegeben.

Es werden Konzepte funktionaler Programmierung (z. B. elementare Datentypen, Ausdrücke, Funktionsdefinition, Rekursion, Funktionsabstraktion, Closure, Funktionen höherer Ordnung, universelle Polymorphie) und deren Ausführung (Auswertungsstrategien) eingeführt. Es werden Techniken zum Beweisen von Programmeigenschaften (Termersetzung, strukturelle Induktion, Terminierung, Church-Rosser-Theorem) und deren Anwendungen (Typsysteme, Typherleitung und Typüberprüfung) eingeführt.

Grundlegende Abstraktionen wie algebraische und abstrakte Datentypen und modularer Programmentwurf, sowie Nebenwirkungen (z. B. durch Monaden) anhand von Ein- und Ausgabe werden behandelt.

Schließen

Literaturhinweise

  • 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.
Schließen

40 Termine

Zusätzliche Termine

Fr, 24.07.2015 08:00 - 09:00

Räume:
137/T9 Konferenzraum (Takustr. 9)

Regelmäßige Termine der Lehrveranstaltung

Mo, 20.07.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 21.07.2015 08:45 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 22.07.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 23.07.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Fr, 24.07.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 27.07.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 28.07.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 29.07.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 30.07.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Fr, 31.07.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 03.08.2015 09:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
1.3.14 Hörsaal A (Arnimallee 14)

Di, 04.08.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 001/A3 Hörsaal (Arnimallee 3-5)

Mi, 05.08.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 001/A3 Hörsaal (Arnimallee 3-5)

Do, 06.08.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 001/A3 Hörsaal (Arnimallee 3-5)

Fr, 07.08.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 001/A3 Hörsaal (Arnimallee 3-5)

Mo, 10.08.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 11.08.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 12.08.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 13.08.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Fr, 14.08.2015 09:00 - 12:15

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 20.07.2015 14:00 - 16:00
Di, 21.07.2015 14:00 - 16:00
Mi, 22.07.2015 14:00 - 16:00
Do, 23.07.2015 14:00 - 16:00
Fr, 24.07.2015 14:00 - 16:00
Mo, 27.07.2015 14:00 - 16:00
Di, 28.07.2015 14:00 - 16:00
Mi, 29.07.2015 14:00 - 16:00
Do, 30.07.2015 14:00 - 16:00
Fr, 31.07.2015 14:00 - 16:00
Mo, 03.08.2015 14:00 - 16:00
Di, 04.08.2015 14:00 - 16:00
Mi, 05.08.2015 14:00 - 16:00
Do, 06.08.2015 14:00 - 16:00
Fr, 07.08.2015 14:00 - 16:00
Mo, 10.08.2015 14:00 - 16:00
Di, 11.08.2015 14:00 - 16:00
Mi, 12.08.2015 14:00 - 16:00
Do, 13.08.2015 14:00 - 16:00
Fr, 14.08.2015 14:00 - 16:00

Studienfächer A-Z