Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
APV 03 -Losungsvorschlag zur 7. Ubung a) := le(double(half(succ(succ(y))), succ(succ(y)))) true
 

Summary: APV 03 - L¨osungsvorschlag zur 7. ¨Ubung
Aufgabe 1
a) := le(double(half(succ(succ(y))), succ(succ(y)))) true
:= {x : number le(double(half(x)), x) true}
SAP (, ):
1: le(double(half(succ(succ(y))), succ(succ(y))) true
P le(double(succ(half(y)), succ(succ(y))) true
P le(succ(succ(double(half(y)))), succ(succ(y))) true
P le(succ(double(half(y))), succ(y)) true
P le(double(half(y)), y) true =:
3: W¨ahle x : number le(double(half(x)), x) true aus
4: :=
5: := TRUE (nach Anwendung der Hypothese aus 3. mit = , = {x/y},
da (le(double(half(y)), y) true)| = (le(double(half(x)), x) true)
und (le(double(half(y)), y) true)[TRUE] = TRUE
1: TRUE = TRUE P =:
2: liefere TRUE zur¨uck
SAP (, ) = TRUE
b) := le(double(half(succ(y))), succ(y)) true
:= {x : number le(double(half(x)), x) true}

  

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

 

Collections: Computer Technologies and Information Sciences