Kategorientheorie und Programmieren

Dozenten

• Klaus Ostermann
  HeadKlaus Ostermann
• Ingo Skupin
  AlumniIngo Skupin
• Daniel Hättig

Struktur der Veranstaltung

• Wöchentliche Termine
• 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)
• Grundlage für die Benotung ist der Vortrag.

Anmeldung

• Studierende der Mathematik sollten sich über das URM System anmelden.
• Für Studierende der Informatikstudiengänge findet die Anmeldung beim ersten Treffen am 20.04. im Raum D4A19 auf der Morgenstelle statt. Alternativ können Sie sich auch vorher schon per Email anmelden.

Informationsveranstaltung

• eine erste Informationsveranstaltung findet am 02.02. gegen 15:40 via zoom statt.

Termine

• Das Seminar wird wöchentlich, mittwochs von 16-18 Uhr im Raum D4A19 im D-Bau auf der Morgenstelle stattfinden.
• Der erste Termin findet in der ersten Vorlesungswoche am 20.04. im Raum D4A19 statt.

Weitere Informationen

• Bartosz Milewskis “Category Theory for Programmers” finden Sie hier
• Jörg Zintls Skript “Categories and Modules” finden Sie hier