Computer Science and Functional Programming B

Organisationseinheit
Freie Universität Berlin/Mathematik und Informatik

Bereich

Bereich Scientific Computing
Informatik

Zugangsvoraussetzungen

Keine

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.

Inhalte

Grundlagen der Berechenbarkeit (Lambda-Kalkül, primitive Rekursion, μ -Rekursion). Einführung in die Funktionale Programmierung (Syntax, 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).

Lehr- und Lernformen

Aktive Teilnahme

Vorlesung
4 SWS
Teilnahme empfohlen

schriftliche Bearbeitung der Übungsblätter
zwei mündliche Präsentationen der Lösung jeweils einer Übungsaufgabe in der Übung Ausarbeitung und Präsentation eines Programmierprojekts

Übung
2 SWS
Teilnahme empfohlen

schriftliche Bearbeitung der Übungsblätter
zwei mündliche Präsentationen der Lösung jeweils einer Übungsaufgabe in der Übung Ausarbeitung und Präsentation eines Programmierprojekts

Seminar
2 SWS
Teilnahme empfohlen

schriftliche Bearbeitung der Übungsblätter
zwei mündliche Präsentationen der Lösung jeweils einer Übungsaufgabe in der Übung Ausarbeitung und Präsentation eines Programmierprojekts

Aufwand

Präsenzzeit V	60 Stunden
Vor- und Nachbereitung V	80 Stunden
Präsenzzeit S	30 Stunden
Vor- und Nachbereitung S	60 Stunden
Präsenzzeit Ü	30 Stunden
Vor- und Nachbereitung Ü	60 Stunden
Schriftliche Übungsaufgaben	60 Stunden
Prüfungsvorbereitung und Prüfung	70 Stunden

Modulprüfung
Klausur (90 Minuten), die auch in Form einer elektronischen Prüfungsleistung durchgeführt werden kann, oder mündliche Prüfung (ca. 30 Minuten) oder Hausarbeit (ca. 15 Seiten).

Differenzierte Bewertung
differenzierte Bewertung

Modulsprache
Deutsch

Arbeitsaufwand (Stunden)
450

Leistungspunkte (LP)
15

Dauer des Moduls
Ein oder zwei Semester

Häufigkeit des Angebots
Mindestens einmal im Studienjahr

Verwendbarkeit

Masterstudiengang Computational Sciences