General information
Course number | INF-0130 |
Semester | SS 2022 |
Current number of participants | 22 |
expected number of participants | 30 |
Home institute | Softwaretechnik |
Courses type | Lecture in category Teaching |
Next date | Wed , 25.05.2022 14:00 - 15:30, Room: (2013N) |
Type/Form | Vorlesung mit integriertem Praktikum |
Pre-requisites | 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 points | 8 |