MiG

Künstliche Intelligenz

Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik und ihre Mechanisierung, Resolution und Theorembeweise, Wissensbasierte- und Expertensysteme, Diffuse Logik, Mensch-Maschinen-Schnittstellen, Mustererkennung insbesondere für interaktive Anwendungen.

(19303701 / 19303702)

Typ

VL/Ü

Dozent/in

Raúl Rojas

Anmeldemodalität

Hinweis

Blockveranstaltung in den Semesterferien. Bitte die Ankündigung im KVV und VV beachten.

Links auf Kursbeschreibung