Verständnis der theoretischen Grundlagen und Methoden sowie des Entwurfs, der algorithmischen Umsetzung und Anwendung ausgewählter (Semi-)Automated Reasoning Tools in Computationaler Logik
Theoretische Grundlagen, algorithmische Umsetzung, Systementwurf, Implementierung und Anwendung ausgewählter (Semi-)Automated Reasoning Tools in Computationaler Logik
Beispiele: CERES (Cut Elimination by RESolution), VMTL (Vienna Modular Termination Laboratory)
Details zur Lehrveranstaltung siehe homepage
Nachweis des Erreichens indviduell vereinbarter Projektziele
Nicht erforderlich
Abhängig vom jeweils gewählten bzw. vereinbarten Projektschwerpunkt