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-D Proseminar: Entscheidungsprozeduren und Theorembeweiser -
Veranstaltungstermin | Raum
- Donnerstag, 16.10.2025 12:00 - 14:00 | A03 2-209
- Dienstag, 21.10.2025 16:00 - 17:00
- Donnerstag, 23.10.2025 13:00 - 14:00
- Dienstag, 28.10.2025 16:00 - 17:00
- Donnerstag, 30.10.2025 13:00 - 14:00
- Dienstag, 4.11.2025 16:00 - 17:00
- Donnerstag, 6.11.2025 13:00 - 14:00
- Dienstag, 11.11.2025 16:00 - 17:00
- Donnerstag, 13.11.2025 13:00 - 14:00
- Dienstag, 18.11.2025 16:00 - 17:00
- Donnerstag, 20.11.2025 13:00 - 14:00
- Dienstag, 25.11.2025 16:00 - 17:00
- Donnerstag, 27.11.2025 13:00 - 14:00
- Dienstag, 2.12.2025 16:00 - 17:00
- Donnerstag, 4.12.2025 13:00 - 14:00
- Dienstag, 9.12.2025 16:00 - 17:00
- Donnerstag, 11.12.2025 13:00 - 14:00
- Dienstag, 16.12.2025 16:00 - 17:00
- Donnerstag, 18.12.2025 13:00 - 14:00
- Dienstag, 6.1.2026 16:00 - 17:00
- Donnerstag, 8.1.2026 13:00 - 14:00
- Dienstag, 13.1.2026 16:00 - 17:00
- Donnerstag, 15.1.2026 13:00 - 14:00
- Dienstag, 20.1.2026 16:00 - 17:00
- Donnerstag, 22.1.2026 13:00 - 14:00
- Dienstag, 27.1.2026 16:00 - 17:00
- Donnerstag, 29.1.2026 13:00 - 14:00
- Dienstag, 17.3.2026 8:00 - 18:00 | A03 2-209
- Mittwoch, 18.3.2026 8:00 - 18:00 | A03 2-209
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.
lecturer
SWS
2
Lehrsprache
--