Inhalte:
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
Handschrift und für gesprochene Sprache.