Die Studierenden lernen die praktische Lösung von Problemen der computerbasierten Logik, zum Teil unter Verwendung von logik-basierten Softwarewerkzeugen.
Lehrinhalte
Algorithmische Methoden in der Aussagenlogik, Prädikatenlogik, entscheidbaren Theorien.
