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.
Lecture: 2.01.800-D Proseminar: Entscheidungsprozeduren und Theorembeweiser
Semester:
Winter term
2025
2.01.800-D Proseminar: Entscheidungsprozeduren und Theorembeweiser -
Event date(s) | room
- 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
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.
Als Grundlage für das Proseminar dient das Buch "Decision Procedures" von Daniel Kroening und Ofer Strichman.
lecturer
SWS
2
Lehrsprache
--