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(en): |
Informatik
|
| Zuordnung zu Studiengängen | Modulart |
|---|---|
| Master of Science Computational Science WiSe 2019/20 |
Wahlpflichtmodul
|
| Fakultätskatalog Mathematisch-Naturwissenschaftliche Fakultät WiSe 2016/17 |
Abhängig vom Studiengang
|