Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Interpretation I = (A, , ): Trager A = (As)sS
 

Summary: Interpretation I = (A, , ):
· Tr¨ager A = (As)sS
· Deutung = (f)f mit f : Aw As f¨ur f w,s
· Variablenbelegung : V A mit (x) As f¨ur x Vs
Interpretation von Termen
I(x) = (x) f¨ur alle x V
I(f(t1, . . . , tn)) = f(I(t1), . . . , I(tn)) f¨ur f w,s, t1 . . . tn T (, V)w
Abool = {wahr, falsch} (x) = 5
Anumber = {0, 1, 2, . . .} (y) = 3
true = wahr ...
false = falsch Anumber = Q
O = 0 O = 0
succ(n) = n + 1 succ(n) = n + 1
plus(n, m) = n + m plus(n, m) = n
m, falls m = 0
... ...
I = (A, , ) I = I[[x/6, y/8]] I = (A , , )
· I(plus(succ(x), y)) = plus(succ((x)), (y)) = 9
· I (plus(succ(x), y)) = 15
· I (plus(succ(x), y)) = 6

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences