Seminarleitung: Prof. Dr. Ralf Becker, Dr. Johannes Lenhard,
Prof. Dr. Jan Schneider, Prof. Dr. Katharina Zweig
Inhalt: Semantische Probleme der Softwareentwicklung
Terminplan mit Literatur:
| 29.04.2022 | Einführung in die logistische Regression |
| 06.04.2022 | AMS-Algorithmus und Sozialverträglichkeitsregeln (mehr) |
| 13.05.2022 | Wie baut man einen Entscheid-ungsbaum? Und merkwürdige Entscheidungsbäume (mehr) |
| 27.05.2022 | (Brückentag) |
| 03.06.2022 | (Pfingstferien) |
| 10.06.2022 | Understanding adversarial examples requires a theory of artefacts for deep learning (Buckner) |
| 17.06.2022 | Google Artikel (D’Amour, Heller, Moldovan, et al.) |
| 24.06.2022 | Feynman-Kapitel |
| 01.07.2022 | Social Processes and proofs of theorems and programs (Lipton, Perlis) |