Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:funktionsanwendung

Funktionsanwendung

engl.: function application

Bedeutung

Bezeichne f eine Funktion, a ein zulässiges Argument von f. Die Anwendung von f auf a nennen wir eine Funktionsanwendung (engl. function application); meist schreibt man dafür f (a) oder f a. Den Prozess der Berechnung des Funktionswerts nennen wir Auswertung (engl. evaluation). Die Auswertung kann:

  • nach endlich vielen Schritten terminieren und ein Ergebnis liefern (normale Terminierung, engl. normal termination),
  • nach endlich vielen Schritten terminieren und einen Fehler melden (abrupte Terminierung, engl. abrupt termination),
  • nicht terminieren, d.h. der Prozess der Auswertung kommt (von alleine) nicht zu Ende.
glossar/funktionsanwendung.txt · Zuletzt geändert: 2015/10/05 16:55 (Externe Bearbeitung)