Sommersemester 2018
Im Sommersemester 2018 werden folgende Veranstaltungen angeboten:
Vorlesungen
- INF 2620 Einführung in die Logik für Informatik
- INF 3482 Automatisches Beweisen Grundlagen
- Einführung in die Logik für Philosophie
Im Sommersemester 2018 werden folgende Veranstaltungen angeboten: