AG Informatik, Logik und Mathematik
Hier finden Sie die aktuellen Termine der Arbeitsgemeinschaft.
Vorträge finden im Raum R. 715 (CAP 4) jeweils mittwochs 12:15 - 13:45 Uhr statt:
| Termin | Vortragende/r | Titel |
|---|---|---|
| 25.04.207 | Rudolf Berghammer | Ein einfacher Beweis des Dedekindschen Rekursionssatzes durch Scott-Induction |