ALP 1: Unterschied zwischen den Versionen

Aus Wiki - FSI Mathe/Info
Keine Bearbeitungszusammenfassung
(→‎Alte Übungen: Links zu Lösugnen 06/07)
Zeile 31: Zeile 31:


=Alte Übungen=
=Alte Übungen=
*[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]

Version vom 25. Oktober 2011, 11:43 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

Klausuren

Klausur-WiSe07/08 und Lösung

nützliche Links

Abgerufen von „https://fsi.spline.de/wiki/index.php?title=ALP_1&oldid=4632“