Motivation

1. intensionale Modellierung von Funktionen,

• intensional: Fkt. ist Berechnungsvorschrift, Programm
• (extensional: Fkt. ist Menge v. geordneten Paaren)

2. Notation mit gebundenen (lokalen) Variablen, wie in

• Analysis: $\int$x²dx,$\sum_{{k=0}}^{n}$k² mathend000#
• Logik: ∀x∈A : ∀y∈B : P(x, y) mathend000#
• Programmierung: static int foo (int x) { ... }