193000x1 Vorlesung

WiSe 18/19: Funktionale Programmierung

Raul Rojas Gonzalez

Zusätzl. Angaben / Voraussetzungen

Übung siehe 19300004

Kommentar

Grundlagen der Berechenbarkeit:

  • Lambda-Kalkül
  • primitive Rekursion
  • µ-Rekursion

Einführung in die Funktionale Programmierung (Haskell):

  • Syntax (Backus-Naur-Form)
  • primitive Datentypen, Listen, Tupel, Zeichenketten
  • Ausdrücke, Funktionsdefinitionen, Rekursion und Iteration
  • Funktionen höherer Ordnung, Polymorphie
  • Typsystem, Typherleitung und –überprüfung
  • Algebraische und abstrakte Datentypen
  • Ein- und Ausgabe
  • Such- und Sortieralgorithmen

Beweisen von Programmeigenschaften:

  • Termersetzung
  • strukturelle Induktion
  • Terminierung

Implementierung und Programmiertechnik:

  • Auswertungsstrategien für funktionale Programme
  • Modularer Programmentwurf
Schließen

Literaturhinweise

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

29 Termine

Zusätzliche Termine

Mo, 03.12.2018 10:00 - 12:00
Zwischenklausur

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
T9/Gr. Hörsaal (Takustr. 9)

Mi, 13.02.2019 10:00 - 12:00
Klausurtermin

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
Hs A (Raum B.006, 200 Pl.) (Arnimallee 22)
T9/Gr. Hörsaal (Takustr. 9)

Regelmäßige Termine der Lehrveranstaltung

Mi, 17.10.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 24.10.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 31.10.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 07.11.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 14.11.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 21.11.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 28.11.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 05.12.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 12.12.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 19.12.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 09.01.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 16.01.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 23.01.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 30.01.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 06.02.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 22.10.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 29.10.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 05.11.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 12.11.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 19.11.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 26.11.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 10.12.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 17.12.2018 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 07.01.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 14.01.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 21.01.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 28.01.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 04.02.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 11.02.2019 10:00 - 12:00

Dozenten:
Univ.-Prof. Dr. Raul Rojas Gonzalez

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Studienfächer A-Z