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 L osungsvorschlag zur 7. 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}
SA P (#, #):
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
# SA P (#, #) = TRUE
b) # := le(double(half(succ(y))), succ(y)) # true

  

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

 

Collections: Computer Technologies and Information Sciences