Blockveranstaltung nach Semesterende. Bitte die Ankündigung im EVV beachten.

Inhalt

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.

Literatur

wird noch bekannt gegeben.

Voraussetzungen:

Grundkenntnisse in Mathematik und Algorithmen & Datenstrukturen.

Hinweise für Studierende:

Übungen siehe 19303702