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
  • Eintrag im Vorlesungsverzeichnis Informatik Alma

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.