Allgemeine Informationen
| Veranstaltungsname | Vorlesung: 03-IBAP-FBM Formale Beweismethoden |
| Untertitel | |
| Veranstaltungsnummer | 03-IBAP-FBM |
| Semester | WiSe 2025/2026 |
| Aktuelle Anzahl der Teilnehmenden | 12 |
| Heimat-Einrichtung | Informatik |
| Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
| Nächster Termin | Montag, 08.12.2025 12:00 - 14:00, Ort: MZH 1110 |
| Art/Form | |
| Teilnehmende | Es gibt keine Beschränkung der Teilnehmerzahl. |
| Voraussetzungen |
Inhaltliche Voraussetzung ist: * Technische Informatik 1 |
| Lernorganisation |
* Der Kurs ist als Vorlesung + Übung organisiert. Die Vorlesung findet Montags statt, die Übungen Dienstags (MZH 2340) * Lernziele: - Unterschiedliche Formen von kompakten und eindeutigen Darstellungen für Boolesche und Pseudo-Boolesche Funktionen kennen, verstehen und anwenden können - Die Umsetzung von Syntheseoperatoren auf BDDs und KFDDs, sowie die unterschiedlichen Laufzeiten kennen und verstehen bzw. anwenden können - Den Effekt der Variablenordnung auf die Größe der BDDs und KFDDs kennen und verstehen, sowie unterschiedlichen Techniken zur Optimierung kennen. - Unterschiedliche Entscheidungsdiagramme für Pseudo-Boolesche Funktionen kennen lernen und anwenden können - Solver wie SAT und SMT kennen und ihre Funktionalität verstehen - Anwendungsszenarien für formale Beweismethoden kennen und die Vor- und Nachteile der vorgestellten Methoden einschätzen können |
| Leistungsnachweis |
Zwei Prüfungsmöglichkeiten: * Mündliche Prüfung * Übungen + Fachgespräch Prüfungszeitraum ist der Standardzeitraum: 07.02.2026-31.03.2026 |
| Englischsprachige Veranstaltung | Nein |
| Sonstiges | Die Veranstaltung findet auf Deutsch statt, mit Folien auf Englisch. |
| ECTS-Punkte | 6 |
