ALP 1

Aus Wiki - FSI Mathe/Info
Version vom 8. März 2010, 12:50 Uhr von Cholin (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „=Stoff= In der Veranstaltung werden folgende Themen behandelt: ==Grundlagen der Berechenbarkeit== *Lambda-Kalkül *primitive Rekursion *µ-Rekursion ==Einführun...“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Die druckbare Version wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisiere deine Browser-Lesezeichen und verwende stattdessen die Standard-Druckfunktion des Browsers.

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

Klausuren

to add

nützliche Links