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

Praktika / Kurse / Seminare

• INF 4122 Praktikum Betriebssysteme
• INF 3522 Grundlagenpraktikum Automatisches Beweisen
• Symbolic Computation