Introduction to Finite Model Theory (Prüfungsordnungsmodul)7.5 ECTS (englische Bezeichnung: Introduction to Finite Model Theory)
Die Beschreibung eines Prüfungsordnungsmoduls enthält allgemeine
Angaben zur Verwendbarkeit und zu den Rahmenbedingungen für Prüfungen,
so wie sie in den Prüfungsordnungen festgelegt sind. Zusätzlich kann eine allgemeine Modulbeschreibung, die übergreifend
für alle konkreten (UnivIS-)Module gilt, enthalten sein. Die
konkreten Modulbeschreibungen mit Angaben zu den
Lehrveranstaltungen und Prüfungsdetails sind unter den zugeordneten
UnivIS-Modulen zu finden.
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik | Introduction to Finite Model Theory)
Studien-/Prüfungsleistungen:
- Introduction to Finite Model Theory (Prüfungsnummer: 46411)
(englische Bezeichnung: Introduction to Finite Model Theory)
- Prüfungsleistung, variabel, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Anteil an der Berechnung der Modulnote: 100.0 %
UnivIS-Module:UnivIS-Module im aktuellen Semester (WS 2019/2020):
|