Axiomatische Semantik

partielle Korrektheit
totale Korrektheit
Prädikate
Variablen
skip Par
Assignment Par
Composition Par
if Par
while Par
Consequence Par
Array Par
call nichtrekursiv Par
call rekursiv Par
Assignment Tot
skip Tot
Composition Tot
if Tot
while Tot
Consequence Tot
call nichtrekursiv Tot
call rekursiv Tot
$\models \{P\}\ S\ \{Q\}$
$\vdash \{P\}\ S\ \{Q\}$
Korrektheit
Vollständigkeit
weakest Precondition
Gödel'scher Unvollständigkeitssatz

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.