Folien (.pdf)
Folien (.pdf)
Folien (.pdf)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Logik und Berechenbarkeit 11<br />
Σ-Interpretation (Teil 1)<br />
Definition 2.8 [Σ-Interpretation der Terme]<br />
Es seien S = (M,VS) eine Σ-Struktur und β : {vi : i ∈ N} → M eine<br />
Belegung.<br />
Wir nennen I β : T [X,ΣF] → M eine Σ-Interpretation der Terme, falls<br />
für eine Variable v: I β (v) := β(v),<br />
für eine Konstante c: I β (c) := VS(c) sowie<br />
für einen zusammengesetzten Term ft1 ...tn:<br />
I β ( ft1 ...tn) := VS( f ) I β (t1),...,I β (tn) gelten.<br />
Notation:<br />
<br />
av<br />
Iβ := I<br />
(β a v )<br />
❏
Change language