Kategorientheorie und Programmieren
Dozenten
Struktur der Veranstaltung
- Wöchentliche Termine, voraussichtlich online
- Vorträge enthalten Anteile aus Theorie und Programmieren
- ca. 60 Minuten Präsentation, 30 Minuten Diskussion
- Vorgespräch 1-2 Wochen vor Vortragstermin
- regelmäßige aktive Mitarbeit (Diskussion, Vorbereitung)
Weitere Informationen
- Bartosz Milewskis “Category Theory for Programmers” finden Sie hier
- Jörg Zintls Skript “Categories and Modules” finden Sie hier
- Eintrag im Vorlesungsverzeichnis Informatik Alma
Termine
- Die wöchentlichen Termine finden donnerstags 16-18 Uhr via zoom statt: zoom link
- Aktuelle Informationen finden sich auf der Ilias Seite des Kurses hier
Vorbesprechung und Terminfestlegung
-
Die zweite Vorbesprechung findet am Freitag, dem 16. April um 11:00 über zoom statt.
Den Zoom Link finden sie her: Vorbesprechung
In dieser Vorbesprechung werden die übrigen Plätze für Studierende der Informatik vergeben und die endgültige Themenvergabe stattfinden.
-
Eine erste Vorbesprechung findet am 25. Februar um 10:00 über zoom statt.
Um an der ersten Vorbesprechung teilzunehmen, melden Sie sich bitte (unverbindlich) im URM für die Vorbesprechung an. Dort erhalten Sie dann auch einen Zoom-Link.