Allgemeine Informationen
Veranstaltungsname | Vorlesung: Formale Methoden im Software Engineering |
Veranstaltungsnummer | INF-0130 |
Semester | SS 2023 |
Aktuelle Anzahl der Teilnehmenden | 21 |
erwartete Teilnehmendenanzahl | 30 |
Heimat-Einrichtung | Softwaretechnik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Mittwoch, 19.04.2023 15:45 - 17:15, Ort: (1055 N) |
Art/Form | Vorlesung mit integriertem Praktikum |
Voraussetzungen | Interesse an Logik und formalen Methoden, Bachelorveranstaltung Logik für Informatiker ist hilfreich |
Online/Digitale Veranstaltung | Veranstaltung wird in Präsenz abgehalten. |
Hauptunterrichtssprache | deutsch |
Literaturhinweise |
Es besteht eigentlich keine Notwendigkeit, zusätzliche Literatur heranzuziehen. Wer sich dennoch etwas schlauer machen will, kann folgende Bücher lesen: - V. Sperschneider and G. Antoniou, Logic: A Foundation for Computer Science, Addison Wesley, 1991 - J. Loeckx and H.D. Ehrich and M. Wolf, Specification of Abstract Data Types, Wiley-Teubner, 1996 |
ECTS-Punkte | 8 |