Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
2.01.800-G Proseminar: Entscheidungsprozeduren und Theorembeweiser -
Veranstaltungstermin | Raum
Beschreibung
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.
Lehrende
SWS
2
Lehrsprache
deutsch und englisch