Bearbeiten von „ALP 1“
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 1: | Zeile 1: | ||
=Stoff= | |||
In der Veranstaltung werden folgende Themen behandelt: | |||
==Grundlagen der Berechenbarkeit== | |||
*Lambda-Kalkül | *Lambda-Kalkül | ||
*primitive Rekursion | *primitive Rekursion | ||
*µ-Rekursion | *µ-Rekursion | ||
==Einführung in die Funktionale Programmierung (Haskell)== | |||
*Syntax (Backus-Naur-Form) | *Syntax (Backus-Naur-Form) | ||
*primitive Datentypen, Listen, Tupel, Zeichenketten | *primitive Datentypen, Listen, Tupel, Zeichenketten | ||
Zeile 22: | Zeile 16: | ||
*Such- und Sortieralgorithmen | *Such- und Sortieralgorithmen | ||
==Beweisen von Programmeigenschaften== | |||
*Termersetzung | *Termersetzung | ||
*strukturelle Induktion | *strukturelle Induktion | ||
*Terminierung | *Terminierung | ||
==Implementierung und Programmiertechnik== | |||
*Auswertungsstrategien für funktionale Programme | *Auswertungsstrategien für funktionale Programme | ||
*Modularer Programmentwurf | *Modularer Programmentwurf | ||
== | =Alte Übungen= | ||
[http://www.inf.fu-berlin.de/lehre/WS07/ALPI/Material.html Übungsblätter und Programmierbeispiele WiSe07/08] | |||
=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] | [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= | |||
*[http://learnyouahaskell.com/ Haskell-Tutorial] | *[http://learnyouahaskell.com/ Haskell-Tutorial] | ||
*[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] | ||