Forschungskolloquium „Philosophie und KI“: Semantische Probleme der Softwareentwicklung
SoSe 2025
Seminarleitung: Prof. Dr. Ralf Becker, Dr. Johannes Lenhard,
Prof. Dr. Jan Schneider, Prof. Dr. Katharina Zweig
Inhalt: Semantische Probleme der Softwareentwicklung
Terminplanung 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
- 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)