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

Zeit

Vorlesung: Dienstag 14-16 Uhr, Takustr. 9, SR006

Übung: Freitag 14-16 Uhr, Takustr. 9, SR006

Links auf Kursbeschreibung