Vorlesung: Typsysteme - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird in Präsenz abgehalten.
| Veranstaltungsname |
Vorlesung: Typsysteme |
| Veranstaltungsnummer |
INF-0433 |
|
Semester
|
WS 2022/23 |
|
Aktuelle Anzahl der Teilnehmenden
|
39 |
| Heimat-Einrichtung |
Theorie verteilter und paralleler Systeme
|
| Veranstaltungstyp |
Vorlesung in der Kategorie Lehre |
| Erster Termin |
Donnerstag, 20.10.2022 14:00 - 15:30, Ort: (1057 N) |
| Voraussetzungen |
Empfohlen: Einführung in die Theoretische Informatik |
| Leistungsnachweis |
Klausur (60 Minuten) |
| Online/Digitale Veranstaltung |
Veranstaltung wird in Präsenz abgehalten. |
| Hauptunterrichtssprache |
deutsch |
| Literaturhinweise |
'Types and Programming Languages' von Benjamin C. Pierce |
| ECTS-Punkte |
5 |
- (1057 N)
-
Donnerstag: 14:00 - 15:30, wöchentlich (14x)
Einführung in Typsysteme für Programmiersprachen. Die Grundlagen werden aus theoretischer Sicht behandelt.
