Funktionale Programmierung W19/20
to Whiteboard Site

Description

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

 

Literatur

 

  • Simon Thompson: Haskell: The Craft of Functional Programming, 2nd Edition, Addison-Wesley, 1999
  • Graham Hutton: Programming in Haskell, Cambridge University Press, 2007
  • Bird, R./Wadler, Ph.: Einführung in Funktionale Programmierung, Hanser Verlag, 1982
  • Hans Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Springer-Verlag 1978
Basic Course Info

Course No Course Type Hours
19300001 Vorlesung 4
19300004 Seminar am PC 2

Time Span 16.10.2019 - 28.07.2020
Instructors
Margarita Esponda Argüero

Study Regulation

0086c_k150 2014, BSc Informatik (Mono), 150 LPs
0086d_k135 2014, BSc Informatik (Mono), 135 LPs
0087b_k90 2009, BSc Informatik (Kombi), 90 LPs
0087d_k90 2015, BSc Informatik (Kombi), 90 LPs
0088b_m60 2006, BSc Informatik (Kombi), 60 LPs
0088d_m60 2015, MSc Informatik (Kombi), 60 LPs
0396b_MA120 2015, MSc Wirtschaftsinformatik (Mono), 120 LPs
0496a_MA120 2016, MSc Computational Science (Mono), 120 LPs
0521a_m25 2018, Modulangebot Schwerpunktstudium Natur, 25 LPs
0525a_m10 2017, BSc Geist und Kultur (Mono), 10 LPs

Funktionale Programmierung W19/20
to Whiteboard Site

Main Events

Day Time Location Details
Monday 10-12 T9/Gr. Hörsaal 2019-10-21 - 2020-02-10
Wednesday 10-12 T9/Gr. Hörsaal 2019-10-16 - 2020-02-12

Accompanying Events

Day Time Location Details
Monday 12-14 T9/055 Seminarraum Maximilian Glinka
Monday 14-16 T9/049 Seminarraum Lernraum
Monday 14-16 T9/051 Seminarraum Nils Goldmann
Tuesday  8-10 T9/051 Seminarraum Nils Goldmann
Tuesday 12-14 T9/053 Seminarraum Stephanie Riedmüller
Tuesday 14-16 T9/055 Seminarraum Stephanie Riedmüller
Wednesday  8-10 T9/046 Seminarraum Paul Nierenz
Wednesday  8-10 T9/SR 005 Übungsraum Pascal Müller
Wednesday 12-14 T9/053 Seminarraum Nils Goldmann
Wednesday 14-16 T9/SR 006 Seminarraum Pascal Müller
Wednesday 14-16 T9/049 Seminarraum Maximilian Glinka
Thursday 12-14 T9/046 Seminarraum Nils Goldmann
Thursday 14-16 T9/049 Seminarraum Stephanie Riedmüller
Sunday ? - ? Pseudotutorium zur Kapazitätsplanung - potentielle Übungsteilnehmer melden sich bitte hier an!

Funktionale Programmierung W19/20
to Whiteboard Site

Most Recent Announcement

2020-02-13:  Missverständnis Freiversuchsregelung

Liebe Studierende,

es gab anscheinend ein Missverständnis zum Thema Freiversuch / Notenverbesserung durch die Klausur: Eine Freiversuchsregelung existiert nicht. Wenn ihr die Klausur schreibt und nicht besteht, ist das automatisch ein Fehlversuch.

Es gibt allerdings eine Notenverbesserungsregelung (§11, Absatz 2 der StuPO Informatik, vgl.u.): Wenn ihr das Modul das erste Mal belegt und die Hauptklausur besteht (nur dann!), könnt ihr zusätzlich die Nachklausur mitschreiben. Falls eure Nachklausurnote dann besser als die Hauptklausurnote ist, zählt die Nachklausurnote. Ihr könnt euch also in diesem Fall durch die Nachklausur verbessern.

Eine allgemeine Empfehlung für solche Fragen: Lest die Studien- und Prüfungsordnung (StuPO) Informatik.

Viele Grüße

Nils

i.A. ALP1-Team



Published by: Nils Goldmann
Older announcements

2020-02-06
Published by: Nils Goldmann
WICHTIG: Klausuranmeldung

Liebe Studis,

übernächste Woche (18.02.) findet die Klausur statt. Falls ihr daran teilnehmen wollt, müsst ihr euch unbedingt rechtzeitig anmelden. Der Anmeldezeitraum endet am 11.02. und danach ist keine Anmeldung mehr möglich.

Falls ihr nicht an der Klausur teilnehmen wollt und euch schon angemeldet habt, meldet euch bitte wieder ab, damit wir nicht unnötig viele Klausuren drucken.

Viele Grüße

Nils

i.A. ALP1-Team


2019-11-01
Published by: Justus Pfannschmidt
Lernraum - donnerstags, 16-18 Uhr, SR005

Liebe Studis,

der Lernraum findet jeden Donnerstag von 16-18 Uhr im SR005 statt. Ihr könnt einfach vorbei kommen, eine Anmeldung ist nicht nötig.

Die Idee des Lernraums ist folgende: Ihr bearbeitet ganz normal die Übungsaufgaben und ich stehe bereit, um eure Fragen zu den Aufgaben oder eventuell auch zum Vorlesungsstoff zu beantworten. Im Zentrum steht jedoch, dass ihr selbständig an den Aufgaben arbeitet.

Hinweis: Am 14.11.2019 findet der Lernraum einmalig im SR055 statt.

Weitere Informationen zu diesem und den anderen Lernräumen findet ihr auf der Mentoring-Seite:
http://www.mi.fu-berlin.de/stud/mentoring/inf/lernraeume/index.html.

Schöne Grüße
Justus


Funktionale Programmierung W19/20
to Whiteboard Site

Currently there are no resources for this course available.
Or at least none which you're allowed to see with your current set of permissions.
Maybe you have to log in first.