Potenzen (Exponentiale)

Exponentiale T = A$ \to$B = BA

Funktionen (andere Realisierungen: Arrays, Hashtabellen, Listen, Strings)

Konstruktion je nach Realisierung, Zugriff: Funktionsanwendung

Typ-Regel: wenn f : : A$ \to$B und x : : A, dann f (x) : : B

Bemerkung: ((A$ \to$B) $ \wedge$ A)$ \to$B ist allgemeingültige aussagenlogische Formel. Übereinstimmung ist kein Zufall!



Johannes Waldmann 2007-06-21