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 𝒯𝒫0 = 𝒯𝒫i = 𝒯𝒫ω

more info


Valid XHTML 1.0 Impressum & Datenschutzerklärung