Bearbeiten von „ALP 1“
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche 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].''' | '''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].''' | ||
==Qualifikationsziele== | ==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. | 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. | ||
| Zeile 32: | Zeile 30: | ||
==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.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] | ||
| Zeile 41: | Zeile 38: | ||
*[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] | ||
*[http://www.esponda.de/ALPI_09_10/homeworks.html Übungsblätter WiSe09/10] | |||
*[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] | ||
| Zeile 49: | Zeile 47: | ||
*[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] | ||
*[ | *[http://cvs.haskell.org/Hugs/pages/documentation.htm Hugs-Dokumentation] | ||
*[http://benpico.spline.de/studium/Alp/I/ gelöste Übungen] | *[http://benpico.spline.de/studium/Alp/I/ gelöste Übungen] | ||
[[Category:Informatik|ALP 1]] | [[Category:Informatik|ALP 1]] | ||
[[Kategorie:Studienmodule/Informatik]] | [[Kategorie:Studienmodule/Informatik]] | ||