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.