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: | ||
==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 28: | ||
==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] | ||
==Alte Übungen== | ==Alte Übungen== | ||
*[http://www.najavonschmude.de/downloads/alp1-zettel.zip Übungsblätter und Lösungen WiSe06/ | *[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] | ||
*[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 45: | ||
*[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]] |