Categories in Programming (CaP)5 ECTS
(englische Bezeichnung: Categories in Programming)
(Prüfungsordnungsmodul: Vertiefungsmodul Theoretische Informatik)

Lehrveranstaltungen:

• • Categories in Programming
    (Seminar, 2 SWS, Sergey Goncharov et al., Mi, 14:15 - 15:45, 02.133-113)

Inhalt:

The idea of the seminar is to practice and improve research skills, such as being able to work with the literature, comprehend scientific texts, summarize and explain the material studied in front of an audience.
The actual topics to be discussed will fall into the broad scope of “Categories of Programming” and will be agreed with the participants, depending on your background and interests.

Please see www8.cs.fau.de/ss15:cap for more

Lernziele und Kompetenzen:

Wissen

Students explain the role of category theory in computer science as a universal language for program semantics, formal specifications, logic and functional programming, as well as the most important category-theoretic tools and constructions developed and applied in recent years for purposes of computer science.

Anwenden

Students apply the main concepts and results of category theory for modelling the semantics of programming languages and specification formalisms.

Analysieren

Students read scientific publications and analyse their contents. Students select material suitable for 90-minute oral presentations. They prepare presentations and deliver the presentations to other seminar participants.

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:

Categories in Programming (Prüfungsnummer: 945618)

(englischer Titel: Categories in Programming)

Prüfungsleistung, mehrteilige Prüfung, Dauer (in Minuten): 90, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Die Prüfungsleistung besteht in einer Ausarbeitung und einem 90-minütigen erfolgreichen Vortrag.

Prüfungssprache: Englisch

Erstablegung: SS 2015, 1. Wdh.: WS 2015/2016

1. Prüfer:

Lutz Schröder