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 | ||
=Folien= | |||
*[http://www.inf.fu-berlin.de/lehre/WS08/alpi/folien.html WiSe 08/09 Raúl Rojas] | *[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] | *[http://www.inf.fu-berlin.de/lehre/WS10/ALP1/material.html WiSe 10/11 Heinz Schweppe] | ||
=Alte Übungen= | |||
*[http://www.najavonschmude.de/downloads/alp1-zettel.zip Übungsblätter und Lösungen WiSe06/ | *[http://www.najavonschmude.de/downloads/alp1-zettel.zip Übungsblätter und Lösungen WiSe06/087] | ||
*[http://www.inf.fu-berlin.de/lehre/WS07/ALPI/Material.html Übungsblätter und Programmierbeispiele WiSe07/08] | *[http://www.inf.fu-berlin.de/lehre/WS07/ALPI/Material.html Übungsblätter und Programmierbeispiele WiSe07/08] | ||
*[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.inf.fu-berlin.de/lehre/WS10/ALP1/uebungen.html Übungsblätter WiSe10/11] | *[http://www.inf.fu-berlin.de/lehre/WS10/ALP1/uebungen.html Übungsblätter WiSe10/11] | ||
=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] | ||