|
Categories in Programming (CaP)5 ECTS (englische Bezeichnung: Categories in Programming)
(Prüfungsordnungsmodul: Vertiefungsmodul Theoretische Informatik)
Modulverantwortliche/r: Sergey Goncharov, Tadeusz Litak Lehrende:
Sergey Goncharov, Tadeusz Litak
Startsemester: |
SS 2015 | Dauer: |
1 Semester | Turnus: |
jährlich (SS) |
Präsenzzeit: |
28 Std. | Eigenstudium: |
122 Std. | Sprache: |
Englisch |
Lehrveranstaltungen:
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:
- Mathematik (Bachelor of Science)
(Po-Vers. 2015w | Bachelorprüfung | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsmodul Theoretische Informatik)
Dieses Modul ist daneben auch in den Studienfächern "Informatik (Bachelor of Science)", "Informatik (Master of Science)" verwendbar. Details
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
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|