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
Weitere Informationen entnehmen Sie bitte der TUWEL-Seite der zugehörigen Vorlesung.
Lösungen der Übungsaufgaben werden präsentiert.
Nicht erforderlich
