ALP 1: Unterschied zwischen den Versionen
(→Alte Übungen: Links zu Lösugnen 06/07) |
Patzi (Diskussion | Beiträge) (→nützliche Links: link hinzugefügt) |
||
Zeile 44: | Zeile 44: | ||
*[http://www.zvon.org/other/haskell/Outputglobal/index.html Haskell-Referenz] | *[http://www.zvon.org/other/haskell/Outputglobal/index.html Haskell-Referenz] | ||
*[http://cvs.haskell.org/Hugs/pages/documentation.htm Hugs-Dokumentation] | *[http://cvs.haskell.org/Hugs/pages/documentation.htm Hugs-Dokumentation] | ||
*[http://benpico.spline.de/studium/Alp/I/ gelöste Übungen] |
Version vom 15. November 2011, 16:45 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 Lösungen WiSe06/087
- Übungsblätter und Programmierbeispiele WiSe07/08
- Übungsblätter WiSe08/09
- Übungsblätter WiSe09/10
- Übungsblätter WiSe10/11