Aktuelle Lehrveranstaltungen (SS 2022)

Vorlesung und Übung

AISE Ethics and Epistemology of AI (AISE-ETH)
4 SWS
AISE Ethics and Epistemology of AI (AISE-ETH)
4 SWS
Christoph Benzmüller

Seminar/Oberseminar

AISE Oberseminar (AISE-OS)
2 SWS
Christoph Benzmüller

Blockseminare

AISE Blockseminar: Automated Theorem Proving and the TPTP (AISE-BL)
2 SWS
AISE Blockseminar: Automated Theorem Proving and the TPTP (AISE-BL)
2 SWS
Christoph Benzmüller