Sommersemester 2019

Im Sommersemester 2019 werden die folgenden Veranstaltungen angeboten:

Vorlesungen

• INF 3482 Automatisches Beweisen Grundlagen
• INF 2620 Einführung in die Logik für Informatik
• INF 4233 SAT Solving und Anwendungen

Praktika

• INF 3522 Grundlagenpraktikum Automatisches Beweisen
• INF 4122 Betriebssysteme