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 

Foto: Matthias Friel

Modul: Semantik und Typsysteme


Das hier aufgeführte Modul basiert auf in den Amtlichen Bekanntmachungen der Universität Potsdam veröffentlichten Studien- und Prüfungsordnungen.
Verbindliche Regelungswirkung haben nur die veröffentlichten Ordnungen.


INF-8062: Semantik und Typsysteme Anzahl der Leistungspunkte (LP):
6 LP
Modulart (Pflicht- oder Wahlpflichtmodul): Abhängig vom Studiengang (siehe unten)
Inhalte und Qualifikationsziele des Moduls:

Inhalte

Semantik formaler Systeme, logisch-formale Kalküle, Typentheorie.

 

Qualifikationsziele

Die Studierenden kennen und verstehen formal-logische Semantikbeschreibung und Typsystemen.

Modul(teil)prüfungen (Anzahl, Form, Umfang, Arbeitsaufwand in LP):

Eine Prüfung der folgenden Formen:

Klausur, 90 Minuten

Mündliche Prüfung, 30 Minuten

Selbstlernzeit (in Zeitstunden (h)): 120

Veranstaltungen
(Lehrformen)
Kontaktzeit
(in SWS)
Prüfungsnebenleistungen
(Anzahl, Form, Umfang)
Lehrveranstaltungsbegleitende Modul(teil)prüfung
(Anzahl, Form, Umfang)
Für den Abschluss des Moduls Für die Zulassung zur Modulprüfung
Vorlesung und Übung (Vorlesung und Übung) 4 - - -

Häufigkeit des Angebots:

WiSe (alle vier Semester)

Voraussetzung für die Teilnahme am Modul: keine
Anbietende Lehreinheit: Informatik
Zuordnung zu Studiengängen Modulart
Master of Science Computational Science WiSe 2013/14 Wahlpflichtmodul
Master of Science Computational Science WiSe 2019/20 Wahlpflichtmodul