ALP 1: Unterschied zwischen den Versionen
| Zeile 26: | Zeile 26: | ||
=Klausuren= | =Klausuren= | ||
[http://www.inf.fu-berlin.de/lehre/WS07/ALPI/nachklausur.pdf Klausur-WiSe07/08] und [http://www.inf.fu-berlin.de/lehre/WS07/ALPI/Haskell/NachKlausur.hs Lösung] | |||
=nützliche Links= | =nützliche Links= | ||
Version vom 12. April 2011, 11:07 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