Functions

• Black box that accepts objects as input and produces another object as output

• Definition in terms of sets

• f:R ? S

  • f is a function from R to S
  • R: domain of f, S: co-domain of f
  • R? S arity (functionality) of f

• Application f(a)

  • a ?R, f(a) ?S

• Equality f = g

  • f,g:R ?S f(x) = g(x) (for all x)

Previous slide

Next slide

Back to first slide

View graphic version