ZurückEsc12503

Formal Semantics

Formale Semantik

4 LPunregelmäßigDEwird nicht mehr angeboten

Inhalte

Semantische Bereiche: Posets, Scott-Bereiche, Basis, Konstruktion; Operationale Semantik: Transitionssysteme, Konfluenz, Inferenz-Regeln; Gleichungssysteme; Axiomatische Semantik: Assertions, Invarianten, Inferenz-Regeln, Prädikat-Transformer.

Lernziele

Die Studierenden sollen befähigt werden, Literatur zur formalen Semantik zu verfolgen sowie die Techniken bei eigenen Forschungen zu nutzen.

Prüfungsleistung

Prüfungsgespräch benotet

Literatur (1)

Wird zu Beginn ausgegeben

Bemerkungen

- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 500 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 500

Quelle: Modulbeschreibung der BTU · abgerufen 17.10.2026Original