General information
| Course name | Lecture: 03-IBAP-FBM Formal Proof Methods |
| Subtitle | |
| Course number | 03-IBAP-FBM |
| Semester | WiSe 2025/2026 |
| Current number of participants | 12 |
| Home institute | Informatik |
| Courses type | Lecture in category Teaching |
| Next date | Tuesday, 16.12.2025 10:00 - 12:00 |
| Type/Form | |
| Participants | Es gibt keine Beschränkung der Teilnehmerzahl. |
| Pre-requisites |
Inhaltliche Voraussetzung ist: * Technische Informatik 1 |
| Learning organisation |
* 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 |
| Performance record |
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 |
| Miscellanea | Die Veranstaltung findet auf Deutsch statt, mit Folien auf Englisch. |
| ECTS points | 6 |
