Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Strukturelle Induktion zum Beweis von x : s structure s
 

Summary: Strukturelle Induktion zum Beweis von x : s
structure s
cons1 : s1,1 × . . . × s1,n1 s
...
consm : sm,1 × . . . × sm,nm s
· ref (i) = {j | si,j = s}
· Induktionsformel i
y1 : si,1, . . . , yni
: si,ni jref (i) [x/yj] [x/consi(y1, . . . , yni
)]
· Strukturelle Relation der Datenstruktur s
consi(q1, . . . , qni
) s qj
· Strukturelles Induktionsaxiom der Datenstruktur s
1 . . . m x : s
structure num function plus : num × num num
O : num plus(O, y) y
succ : num num plus(succ(x), y) succ(plus(x, y))
· Induktionsformeln bei struktureller Induktion gem¨aß num
1 : [x1/O]

  

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

 

Collections: Computer Technologies and Information Sciences