Aktuelle Lehrveranstaltungen
Vorlesungen
- AISE-Auto: Automation of Logical Reasoning
- 2,00 SWS
- Christoph Benzmüller
-
- Details in UnivISzur Lehrveranstaltung AISE-Auto: Automation of Logical Reasoning
- AISE-ETH: Ethics and Epistemology of AI
- 2,00 SWS
- Christoph Benzmüller
-
- Details in UnivISzur Lehrveranstaltung AISE-ETH: Ethics and Epistemology of AI
- AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
- 2.00 SWS
- Christoph Benzmüller
-
- Details in UnivISzur Lehrveranstaltung AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
- AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
- 2,00 SWS
- David Fuenmayor , Daniel Kirchner
-
- Details in UnivISzur Lehrveranstaltung AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
- AISE-SemSC-B: Bachelorseminar Smart City
- 2,00 SWS
- Andrea Vestrucci , Christoph Benzmüller
-
- Details in UnivISzur Lehrveranstaltung AISE-SemSC-B: Bachelorseminar Smart City
?bungen
- AISE-Auto: Automation of Logical Reasoning (Tutorial)
- 2,00 SWS
- David Fuenmayor
-
- Details in UnivISzur Lehrveranstaltung AISE-Auto: Automation of Logical Reasoning (Tutorial)
- AISE-Auto: Automation of Logical Reasoning (?bung)
- 2,00 SWS
- David Fuenmayor
-
- Details in UnivISzur Lehrveranstaltung AISE-Auto: Automation of Logical Reasoning (?bung)
- AISE-ETH: Ethics and Epistemology of AI Gruppe 1
- 2,00 SWS
- Christoph Benzmüller
-
- Details in UnivISzur Lehrveranstaltung AISE-ETH: Ethics and Epistemology of AI Gruppe 1
- AISE-ETH: Ethics and Epistemology of AI Gruppe 2
- 2,00 SWS
- Christoph Benzmüller
-
- Details in UnivISzur Lehrveranstaltung AISE-ETH: Ethics and Epistemology of AI Gruppe 2
- AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI und Ethics
- 4,00 SWS
- Christoph Benzmüller
-
- Details in UnivISzur Lehrveranstaltung AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI und Ethics
Seminare
- AISE-Sem-M: Masterseminar zu KI-Systementwicklung
- 2,00 SWS
- Christoph Benzmüller
-
- Details in UnivISzur Lehrveranstaltung AISE-Sem-M: Masterseminar zu KI-Systementwicklung