12503 - Formale Semantik Modulübersicht
Modulnummer: | 12503 - Modul nicht mehr im Angebot ab SS 2010 |
Modultitel: | Formale Semantik |
Formal Semantics | |
Einrichtung: | Fakultät 1 - Mathematik, Naturwissenschaften und Informatik |
Verantwortlich: |
|
Lehr- und Prüfungssprache: | Deutsch |
Dauer: | 1 Semester |
Angebotsturnus: | sporadisch nach Ankündigung |
Leistungspunkte: | 4 |
Lernziele: | Die Studierenden sollen befähigt werden, Literatur zur formalen Semantik zu verfolgen sowie die Techniken bei eigenen Forschungen zu nutzen. |
Inhalte: | Semantische Bereiche: Posets, Scott-Bereiche, Basis, Konstruktion; Operationale Semantik: Transitionssysteme, Konfluenz, Inferenz-Regeln; Gleichungssysteme; Axiomatische Semantik: Assertions, Invarianten, Inferenz-Regeln, Prädikat-Transformer. |
Empfohlene Voraussetzungen: | keine |
Zwingende Voraussetzungen: | keine |
Lehrformen und Arbeitsumfang: |
|
Unterrichtsmaterialien und Literaturhinweise: | Wird zu Beginn ausgegeben |
Modulprüfung: | Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich! |
Prüfungsleistung/en für Modulprüfung: | Prüfungsgespräch benotet |
Bewertung der Modulprüfung: | Prüfungsleistung - benotet |
Teilnehmerbeschränkung: | keine |
Zuordnung zu Studiengängen: |
|
Bemerkungen: | - Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 500 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 500 |
Veranstaltungen zum Modul: | keine |
Veranstaltungen im aktuellen Semester: |
|