Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
2.01.800-G Proseminar: Entscheidungsprozeduren und Theorembeweiser -
Event date(s) | room
Description
Im Anschluss an das Modul "Theoretische Informatik: Logik" werden wir in diesem Proseminar Entscheidungsprozeduren für diverse Logiken und Theorien genauer betrachten.
Als Grundlage für das Proseminar dient das Buch "Decision Procedures" von Daniel Kroening und Ofer Strichman.
Lecturers
SWS
2
Lehrsprache
deutsch und englisch