BackEsc12503
Formal Semantics
Formale Semantik
4 CPirregularlyDEno longer offered
Contents
Semantische Bereiche: Posets, Scott-Bereiche, Basis, Konstruktion; Operationale Semantik: Transitionssysteme, Konfluenz, Inferenz-Regeln; Gleichungssysteme; Axiomatische Semantik: Assertions, Invarianten, Inferenz-Regeln, Prädikat-Transformer.
Learning outcomes
Die Studierenden sollen befähigt werden, Literatur zur formalen Semantik zu verfolgen sowie die Techniken bei eigenen Forschungen zu nutzen.
Assessment
Prüfungsgespräch benotet
Literature (1)
- Wird zu Beginn ausgegeben
Remarks
- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 500 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 500
Source: BTU's module description · retrieved 17 Oct 2026Original