Künstliche Intelligenz - Sommer der KI
Suchverfahren für die Lösung kombinatorischer Aufgaben; Klassische und Nichtklassische Logiken und ihre Mechanisierung; DPLL, Resolution, Tableauxverfahren und Theorembeweisen; Wissensbasierte- und Expertensysteme; Mensch-Maschinen-Schnittstellen; Mustererkennung insbesondere für interaktive Anwendungen; Data Science, Machine Learning, Neural Architectures, Knowledge Discovery, Maschinenethik, normatives Schließen.
Course No | Course Type | Hours |
---|---|---|
19329501 | Vorlesung | 2 |
19329502 | Übung | 2 |
Time Span | 02.09.2019 - 20.09.2019 |
---|---|
Instructors |
Christoph Benzmüller
|
0086c_k150 | 2014, BSc Informatik (Mono), 150 LPs |
0086d_k135 | 2014, BSc Informatik (Mono), 135 LPs |
0087d_k90 | 2015, BSc Informatik (Kombi), 90 LPs |
0088d_m60 | 2015, MSc Informatik (Kombi), 60 LPs |
0089c_MA120 | 2014, MSc Informatik (Mono), 120 LPs |
0207b_m37 | 2015, MSc Informatik (Lehramt), 37 LPs |
0208b_m42 | 2015, MSc Informatik (Lehramt), 42 LPs |
0458a_m37 | 2015, MSc Informatik (Lehramt), 37 LPs |
0471a_m42 | 2015, MSc Informatik (Lehramt), 42 LPs |
0511a_m72 | 2016, MSc Informatik (Lehramt), 72 LPs |
0511b_m72 | 2019, M-Ed Fach 2 Informatik (Lehramt an Gymnasien - Quereinstieg), 72 LP |
0556a_m37 | 2018, M-Ed Fach 1 Informatik (Lehramt an Integrierten Sekundarschulen und Gymnasien), 37 LPs |
0557a_m42 | 2018, M-Ed Fach 2 Informatik (Lehramt an Integrierten Sekundarschulen und Gymnasien), 42 LPs |
Day | Time | Location | Details |
---|---|---|---|
Daily | 10-12 | T9/SR 006 Seminarraum | 2019-09-02 - 2019-09-19 |
Day | Time | Location | Details |
---|---|---|---|
Sunday | ? - ? | Pseudotutorium zur Kapazitätsplanung - potentielle Übungsteilnehmer melden sich bitte hier an! | |
Daily | 14-16 | T9/SR 006 Seminarraum | Übung 01 |