Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:funktionsanwendung

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:funktionsanwendung [2014/09/24 16:43] (aktuell)
Zeile 1: Zeile 1:
 +====== 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: 2014/09/24 16:43 (Externe Bearbeitung)