Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage mit logischen Kalkülen dem Resolutionssystem und anderen Formen des automatischen Beweisens, regulären und kontextfreien Sprachen, endlichen Automaten und Turingmaschinen sowie Aspekten der Komplexitätstheorie umzugehen.
Übungsaufgaben zum Stoff der gleichnamigen Vorlesung
Lösungen der Übungsaufgaben werden präsentiert.
Nicht erforderlich