Programming Languages

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

Vorbesprechung und Terminfestlegung

  • 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.

  • Folien Vorbesprechung

  • Außerdem wird eine weitere Vorbesprechung mit endgültiger Themenvergabe ein bis zwei Wochen vor Vorlesungsbeginn im Sommersemester stattfinden. Dort werden auch die übrigen Plätze für Studierende der Informatik vergeben.