main clear / load / save
Hilfe Roadmap Über

Signatur:

σ={}=


Strukur

Das Universum

𝒜={}=

Die Relationen

𝔄 enthält keine Relationen oder Färbungen.


show GraphVizArd / edit

Programm

𝒫={}=

Extensionale und intensionale Prädikate des Programms

Menge der extensionalen Prädikate: edb(𝒫)={}=

Menge der intensionalen Prädikate: idb(𝒫)={}=

Variablen und Konstanten des Programms

Menge der Variablen: Var(𝒫)={}=

Menge der Konstanten: adom(𝒫)={}=

less info / edit

Fixpunktberechnung

Für alle i0 gilt S𝒫0 = S𝒫i = S𝒫ω

more info