LFU:online

Vertieftes Verständnis auf dem Gebiet des Constraint Solving. Studierende beherrschen Konzepte, die in aktuellen SAT-, SMT-und ähnlichen Solvern eingesetzt werden, und können diese auch gegebenenfalls eigenständig weiterentwickeln. Zudem können sie für Anwendungen geeignete Solver auswählen, um Problemstellungen effektiv zu lösen.

Einüben der Vorlesungsthemen durch Anwenden der vorgestellten Konzepte

Wöchentliche Übungsaufgaben, die im Proseminar von den Studierenden präsentiert und diskutiert werden.

Prüfungsimmanente Lehrveranstaltung

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

Logik Kentnisse