ALP 1: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
|||
Zeile 24: | Zeile 24: | ||
*Auswertungsstrategien für funktionale Programme | *Auswertungsstrategien für funktionale Programme | ||
*Modularer Programmentwurf | *Modularer Programmentwurf | ||
=Folien= | |||
*[http://www.inf.fu-berlin.de/lehre/WS08/alpi/folien.html WiSe 08/09 Raúl Rojas] | |||
*[http://www.esponda.de/ALPI_09_10/lectures.html WiSe 09/10 Margarita Esponda] | |||
*[http://www.inf.fu-berlin.de/lehre/WS10/ALP1/material.html WiSe 10/11 Heinz Schweppe] | |||
=Alte Übungen= | =Alte Übungen= | ||
Zeile 29: | Zeile 34: | ||
*[http://www.inf.fu-berlin.de/lehre/WS08/alpi/tutorien.html Übungsblätter WiSe08/09] | *[http://www.inf.fu-berlin.de/lehre/WS08/alpi/tutorien.html Übungsblätter WiSe08/09] | ||
*[http://www.esponda.de/ALPI_09_10/homeworks.html Übungsblätter WiSe09/10] | *[http://www.esponda.de/ALPI_09_10/homeworks.html Übungsblätter WiSe09/10] | ||
*[http://www.inf.fu-berlin.de/lehre/WS10/ALP1/uebungen.html Übungsblätter WiSe10/11] | |||
=Klausuren= | =Klausuren= |
Version vom 12. April 2011, 11:17 Uhr
Stoff
In der Veranstaltung werden folgende Themen behandelt:
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
Folien
Alte Übungen
- Übungsblätter und Programmierbeispiele WiSe07/08
- Übungsblätter WiSe08/09
- Übungsblätter WiSe09/10
- Übungsblätter WiSe10/11