Aktuelle Version |
Dein Text |
Zeile 1: |
Zeile 1: |
| {{Veraltet}}
| | =Stoff= |
| | | In der Veranstaltung werden folgende Themen behandelt: |
| '''Diese Seite bezieht sich auf das Modul "Funktionale Programmierung" nach der [http://www.fu-berlin.de/service/zuvdocs/amtsblatt/2007/ab062007.pdf Studien- und Prüfungsordnung vom 8.2.2007].'''
| | ==Grundlagen der Berechenbarkeit== |
| | |
| ==Qualifikationsziele==
| |
| Die Studentinnen und Studenten sind in der Lage, elementare Algorithmen funktional zu entwerfen, Anforderungen an funktionale Programme formal zu spezifizieren, gut strukturierte funktionale Programme zu entwickeln, funktionale Programme hinsichtlich ihres Aufwandes zu untersuchen und Eigenschaften funktionaler Programme formal zu beweisen. Sie haben ein grundlegendes Verständnis der Berechenbarkeit.
| |
| | |
| ==Stoff==
| |
| ===Grundlagen der Berechenbarkeit===
| |
| *Lambda-Kalkül | | *Lambda-Kalkül |
| *primitive Rekursion | | *primitive Rekursion |
| *µ-Rekursion | | *µ-Rekursion |
|
| |
|
| ===Einführung in die Funktionale Programmierung (Haskell)===
| | ==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===
| | ==Beweisen von Programmeigenschaften== |
| *Termersetzung | | *Termersetzung |
| *strukturelle Induktion | | *strukturelle Induktion |
| *Terminierung | | *Terminierung |
|
| |
|
| ===Implementierung und Programmiertechnik===
| | ==Implementierung und Programmiertechnik== |
| *Auswertungsstrategien für funktionale Programme | | *Auswertungsstrategien für funktionale Programme |
| *Modularer Programmentwurf | | *Modularer Programmentwurf |
|
| |
|
| ==Folien== | | =Klausuren= |
| '''Manche Materialien sind nur aus dem FU-Netzwerk zu erreichen!
| | to add |
| '''
| |
| *[http://www.inf.fu-berlin.de/lehre/WS08/alpi/folien.html WiSe 08/09 Raúl Rojas]
| |
| *[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/07]
| |
| *[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/WS10/ALP1/uebungen.html Übungsblätter WiSe10/11]
| |
|
| |
|
| ==Klausuren==
| | =nützliche Links= |
| [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] |
| *[https://www.haskell.org/hugs/pages/documentation.htm Hugs-Dokumentation]
| |
| *[http://benpico.spline.de/studium/Alp/I/ gelöste Übungen]
| |
|
| |
| [[Category:Informatik|ALP 1]]
| |
| [[Kategorie:Studienmodule/Informatik]]
| |