Bearbeiten von „ALP 1“

Wechseln zu: Navigation, Suche

Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird öffentlich sichtbar, falls du Bearbeitungen durchführst. Wenn du dich anmeldest oder ein Benutzerkonto erstellst, werden deine Bearbeitungen zusammen mit anderen Beiträgen deinem Benutzernamen zugeordnet.

Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und speichere dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version Dein Text
Zeile 1: Zeile 1:
'''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].'''
+
=Stoff=
 
+
In der Veranstaltung werden folgende Themen behandelt:
==Qualifikationsziele==
+
==Grundlagen der Berechenbarkeit==
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 20: 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==
+
=nützliche Links=
*[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==
+
[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]]
 

Bitte kopiere keine Webseiten, die nicht deine eigenen sind, benutze keine urheberrechtlich geschützten Werke ohne Erlaubnis des Urhebers!
Du gibst uns hiermit deine Zusage, dass du den Text selbst verfasst hast, dass der Text Allgemeingut (public domain) ist, oder dass der Urheber seine Zustimmung gegeben hat. Falls dieser Text bereits woanders veröffentlicht wurde, weise bitte auf der Diskussionsseite darauf hin. Bitte beachte, dass alle Wiki - FSI Mathe/Info-Beiträge automatisch unter der „GNU Free Documentation License 1.2“ stehen (siehe Wiki - FSI Mathe/Info:Urheberrechte für Einzelheiten). Falls du nicht möchtest, dass deine Arbeit hier von anderen verändert und verbreitet wird, dann klicke nicht auf „Seite speichern“.

Abbrechen | Bearbeitungshilfe (wird in einem neuen Fenster geöffnet)