Monad-Based Programming (MBProg)7.5 ECTS
(englische Bezeichnung: Monad-Based Programming)
(Prüfungsordnungsmodul: Vertiefungsmodul Theoretische Informatik)

Lehrveranstaltungen:

• • Monad-Based Programming
    (Vorlesung mit Übung, 4 SWS, Sergey Goncharov, Mi, 10:15 - 11:45, E 1.12; Di, 12:15 - 13:45, 02.133-113; Einzeltermin am 2.7.2015, 16:00 - 19:00, 01.151-128)

Inhalt:

The course provides a background to various topics of the theory of programming. As a guiding paradigm monad-based functional programming is chosen. The idea of the course is to provide clear computational insights to various concepts of computer science and to practice these by concrete implementations in suitable programming languages such as Haskell.

Lernziele und Kompetenzen:

Fachkompetenz

Wissen

Students demonstrate an understanding of the role of computational monads in the context of functional programming and as a semantic tool for programming and system specification; Students reproduce the main definitions and results on monads, monad combination, and further categorical constructions end explain them from a programming perspective.

Anwenden

Students use the monad-based approach to formalise examples involving various kinds of computational effects as monads. Students use monads for practical programming in programming languages, such as Haskell.

Analysieren

Students identify various computational effects as monads and provide an appropriate treatment of problems from various semantic domains (probabilistic, nondeterministic, concurrent), possibly providing a monad-based software implementation.

Selbstkompetenz

Students will be regularly provided with small challenges in form of exercises to be able to have a gradual progress with the lecture material.

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Mathematik (Bachelor of Science)
   (Po-Vers. 2015w | Bachelorprüfung | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsmodul Theoretische Informatik)

Studien-/Prüfungsleistungen:

Monad-Based Programming (Prüfungsnummer: 845618)

(englischer Titel: Monad-Based Programming)

Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 20, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Die Modulnote setzt sich zu 50% aus dem Ergebnis einer 20-minütigen mündlichen Prüfung am Semesterende und zu 50% aus der Bewertung der Leistungen aus dem Übungsbetrieb zusammen.

Prüfungssprache: Englisch

Erstablegung: SS 2015, 1. Wdh.: WS 2015/2016 (nur für Wiederholer)

1. Prüfer:

Lutz Schröder