12349 - Moderne Funktionale Programmierung Modulübersicht

Modulnummer: 12349
Modultitel:Moderne Funktionale Programmierung
  Modern Functional Programming
Einrichtung: Fakultät 1 - MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik
Verantwortlich:
  • Prof. Dr. rer. nat. habil. Hofstedt, Petra
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: sporadisch nach Ankündigung
Leistungspunkte: 6
Lernziele:Qualifikationsziel dieses Moduls ist es, die Studierenden mit modernen funktionalen Programmiertechniken vertraut zu machen. Die erlernten theoretischen und praktischen Grundlagen und weiterführenden funktionalen Techniken erlauben ihnen, sich selbstständig in aktuelle Forschungsthemen und Entwicklungen auf dem Gebiet der funktionalen Sprachen einzuarbeiten.
Inhalte:Schwerpunkte der Veranstaltung umfassen u.a. die folgenden Themengebiete:
  • Theoretische und praktische Grundlagen funktionaler Sprachen und der funktionalen Programmierung
  • Funktionale Algorithmen (Funktionen höherer Ordnung, funktionale Scanner und Parser, Fixpunkte, Gleichungssysteme und transitive Hüllen)
  • Funktionale Datenstrukturen
  • Monaden
  • Typisierung
  • Programmtransformationen
  • Funktional-logische Programmierung
Empfohlene Voraussetzungen:Grundkenntnisse in der Programmierung.
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Vorlesung / 2 SWS
  • Übung / 2 SWS
  • Selbststudium / 120 Stunden
Unterrichtsmaterialien und Literaturhinweise:Aktuelle Literaturhinweise sind auf der Web-Seite zur Lehrveranstaltung zu finden.
Modulprüfung:Voraussetzung + Modulabschlussprüfung (MAP)
Prüfungsleistung/en für Modulprüfung:Voraussetzung für die Modulabschlussprüfung:
  • erfolgreiche Bearbeitung und Präsentation (30 min Vortrag) eines zusätzlichen, ausgewählten Themas
Modulabschlussprüfung:
  • mündliche Prüfung, 30-45 min. ODER
  • Klausur, 90 min. (bei erhöhter Teilnehmerzahl)
In der ersten Lehrveranstaltung wird bekanntgegeben, ob die Prüfungsleistung in schriftlicher oder mündlicher Form zu erbringen ist.
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • M.Sc. / Angewandte Mathematik (universitäres Profil) / Prüfungsordnung 2008
  • M.Sc. / Angewandte Mathematik (universitäres Profil) / Prüfungsordnung 2019
  • Abschluss im Ausland / Informatik / keine Prüfungsordnung
  • B.Sc. / Informatik (universitäres Profil) / Prüfungsordnung 2008 - 1. SÄ 2017
  • Abschluss im Ausland / Informations- und Medientechnik / keine Prüfungsordnung
  • M.Sc. / Informations- und Medientechnik (universitäres Profil) / Prüfungsordnung 2008
  • M.Sc. / Informations- und Medientechnik (universitäres Profil) / Prüfungsordnung 2017
Bemerkungen:
  • Studiengang Informatik B.Sc.: Wahlpflichtmodul in Komplex „Grundlagen der Informatik“ (Niveaustufe 300)
  • Studiengang Informations- und Medientechnik M.Sc.: Wahlpflichtmodul im Komplex „Methodische Grundlagen“
  • Studiengang Angewandte Mathematik M.Sc.: Wahlpflichtmodul im Komplex „Anwendungen“, Bereich „Informatik
Veranstaltungen zum Modul:
  • 120710 Vorlesung Moderne Funktionale Programmierung
  • 120711 Übung Moderne Funktionale Programmierung
  • 120712 Prüfung Moderne Funktionale Programmierung
Veranstaltungen im aktuellen Semester:

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo