Evaluation of Equations

• Definition f : A ? B, f(x) = ?

• Application f(a0 )

  • 1. Substitution [a0 /x] ?
  • 2. Simplification to underlying value
  • E.G. Add(2,3)= [3/n][2/ m] m + n = 2 + 3 = 5

• Lambda Notation f = ?x: ?

  • add(x, y) may be defined as ? (xy).x + y
  • [3/x][2/ y] x + y = 2 + 3 = 5

• Updating Functions [a0 ? b0]f

  • ([a0 ? b0] f)(a0) = b0
  • ([a0 ? b0]f)(a) = f(a), for all a ? a0

Previous slide

Next slide

Back to first slide

View graphic version