Programming Languages

Kategorientheorie und Programmieren

Do­zen­ten

Struk­tur der Ver­an­stal­tung

  • Wö­chent­li­che Ter­mi­ne, vor­aus­sicht­lich on­line
  • Vor­trä­ge ent­hal­ten An­tei­le aus Theo­rie und Pro­gram­mie­ren
  • ca. 60 Mi­nu­ten Prä­sen­ta­ti­on, 30 Mi­nu­ten Dis­kus­si­on
  • Vor­ge­spräch 1-2 Wo­chen vor Vor­trags­ter­min
  • re­gel­mä­ßi­ge ak­ti­ve Mit­ar­beit (Dis­kus­si­on, Vor­be­rei­tung)

Wei­te­re In­for­ma­tio­nen

  • Bar­tosz Mi­lew­skis “Ca­te­go­ry Theo­ry for Pro­gramm­ers” fin­den Sie hier
  • Jörg Zintls Skript “Ca­te­go­ries and Mo­du­les” fin­den Sie hier
  • Ein­trag im Vor­le­sungs­ver­zeich­nis In­for­ma­tik Alma

Ter­mi­ne

  • Die wö­chent­li­chen Ter­mi­ne fin­den don­ners­tags 16-18 Uhr via zoom statt: zoom link
  • Ak­tu­el­le In­for­ma­tio­nen fin­den sich auf der Ilias Seite des Kur­ses hier

Vor­be­spre­chung und Ter­min­fest­le­gung

  • Die zwei­te Vor­be­spre­chung fin­det am Frei­tag, dem 16. April um 11:00 über zoom statt.

    Den Zoom Link fin­den sie her: Vor­be­spre­chung

    In die­ser Vor­be­spre­chung wer­den die üb­ri­gen Plät­ze für Stu­die­ren­de der In­for­ma­tik ver­ge­ben und die end­gül­ti­ge The­men­ver­ga­be statt­fin­den.

  • Eine erste Vor­be­spre­chung fin­det am 25. Fe­bru­ar um 10:00 über zoom statt.

Um an der ers­ten Vor­be­spre­chung teil­zu­neh­men, mel­den Sie sich bitte (un­ver­bind­lich) im URM für die Vor­be­spre­chung an. Dort er­hal­ten Sie dann auch einen Zoom-Link.