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:
  • Prof. Dr.rer.nat.habil. Bachmann, Peter
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:
  • Vorlesung / 2 SWS
  • Übung / 1 SWS
  • Selbststudium / 135 Stunden
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:
  • keine Zuordnung vorhanden
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:
  • keine Zuordnung vorhanden