ALP 1: Unterschied zwischen den Versionen

Aus Wiki - FSI Mathe/Info
Keine Bearbeitungszusammenfassung
(Qualifikationsziele eingefügt und Formatierung verbessert)
Zeile 1: Zeile 1:
=Stoff=
==Qualifikationsziele:==
In der Veranstaltung werden folgende Themen behandelt:
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.
==Grundlagen 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 16: Zeile 18:
*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=
==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.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=
==Alte Übungen==
*[http://www.najavonschmude.de/downloads/alp1-zettel.zip Übungsblätter und Lösungen WiSe06/087]
*[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]
Zeile 37: Zeile 39:
*[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=
==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=
==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]

Version vom 14. Juni 2012, 16:50 Uhr

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
  • 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

Klausuren

Klausur-WiSe07/08 und Lösung

nützliche Links