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