Kurs: Programmierpraktikum Mathematik und Informatik mit Agda - Details

Kurs: Programmierpraktikum Mathematik und Informatik mit Agda - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Kurs: Programmierpraktikum Mathematik und Informatik mit Agda
Semester SS 2024
Aktuelle Anzahl der Teilnehmenden 9
Heimat-Einrichtung Algebra und Zahlentheorie
Veranstaltungstyp Kurs in der Kategorie Lehre
Veranstaltung findet online statt / hat Remote-Bestandteile Ja
Hauptunterrichtssprache deutsch

Räume und Zeiten

Keine Raumangabe