Top
Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
PULS
Foto: Matthias Friel
Datenschutz
Kontakt
Impressum
Universität Potsdam
Veranstaltungen
Modulbeschreibung
EN
WiSe 2024/25
Anmelden
Node1
Sie sind hier:
Startseite
Vorlesungsverzeichnis (WiSe 2023/24)
Seitenansicht wählen:
kurz
mittel
lang
Vorlesungsverzeichnis
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Master of Science
Computational Science (Prüfungsversion ab WiSe 2019/20)
III. Vertiefungsmodule Informatik
INF-8062 - Semantik und Typsysteme
Veranstaltungsart
Titel der Veranstaltung
552921
Vorlesung/Übung
Naturwissenschaftlich motivierte formale Modelle
belegen/abmelden
© Copyright HIS
Hochschul-Informations-System eG