Korrekte Software: Grundlagen und Methoden
Willkommen auf der Heimatseite der Lehrveranstaltung "Korrekte Software: Grundlagen und Methoden" im Sommersemester 2022!
In dieser Veranstaltung geht es um die Grundlagen und Techniken, die benötigt werden, um korrekte Software zu schreiben. Mehr zum Inhalt hier oder in unserem Promotionsvideo.
Interessiert?
Wer an der Veranstaltung teilnehmen möchte, trage sich bitte in die stud.ip-Teilnehmerliste ein. Die Kommunikation außerhalb der Veranstaltungstermine wird schwerpunktmäßig über die Mailingliste in stud.ip stattfinden.
Termine
Wir freuen uns, euch wieder in Präsenz zu sehen!
Die Termine und Räume sind:
- Dienstag, 10-12, MZH 1450.
- Donnerstag, 8:30-10, MZH 1450
Entgegen zwischenzeitlicher anderslautender Ankündigungen kann die Vorlesung am 03.05.2022 wie geplant stattfinden.
VAK und weitere Daten
- Die VAK der Veranstaltung ist 03-IBAT-KS (03-BB-699.08).
- Wahlbereich ist Bachelor-Basis (BB) - Theoretische Informatik und Mathematik
- Die Veranstaltung hat einem Umfang von 6 ECTS.