Difference between revisions of "Funktionale Applikation"
Jump to navigation
Jump to search
(New page: == Definition == Die Anwendung einer Funktion auf ein Argument wird funktionale Applikation genannt. Formal heisst dies, dass wenn Funktion f ein Ausdruck vom Typ <a,b> und...) |
m |
||
| Line 1: | Line 1: | ||
| − | == Definition == | + | ===Definition=== |
Die Anwendung einer Funktion auf ein [[Argument I|Argument]] wird funktionale Applikation genannt. Formal heisst dies, dass wenn Funktion f ein Ausdruck vom Typ <a,b> und alpha ein Ausdruck vom Typ a ist, dann ist f(<math>\mathsf \alpha</math>) ein Ausdruck von Typ b. | Die Anwendung einer Funktion auf ein [[Argument I|Argument]] wird funktionale Applikation genannt. Formal heisst dies, dass wenn Funktion f ein Ausdruck vom Typ <a,b> und alpha ein Ausdruck vom Typ a ist, dann ist f(<math>\mathsf \alpha</math>) ein Ausdruck von Typ b. | ||
| − | == Beispiel == | + | ===Beispiel=== |
Das einstellige Prädikat ''lachen'' kann als Funktion des Typs <a,b> verstanden werden. Wird die Funktion auf das Argument'' a'' angewendet, das zum Beispiel für die Person ''Dagmar'' steht, so erhalten wir den Wert ''b''. Der Wert des Arguments ''b'' ist in diesem Fall ein Wahrheitswert, der den Wert ''wahr'' annimmt, wenn Dagmar lacht, und ''falsch'', wenn Dagmar nicht lacht. | Das einstellige Prädikat ''lachen'' kann als Funktion des Typs <a,b> verstanden werden. Wird die Funktion auf das Argument'' a'' angewendet, das zum Beispiel für die Person ''Dagmar'' steht, so erhalten wir den Wert ''b''. Der Wert des Arguments ''b'' ist in diesem Fall ein Wahrheitswert, der den Wert ''wahr'' annimmt, wenn Dagmar lacht, und ''falsch'', wenn Dagmar nicht lacht. | ||
| + | ===Quelle=== | ||
| + | |||
| + | WikiLingua 2006 | ||
{{wb}} | {{wb}} | ||
Revision as of 00:16, 23 July 2007
Definition
Die Anwendung einer Funktion auf ein Argument wird funktionale Applikation genannt. Formal heisst dies, dass wenn Funktion f ein Ausdruck vom Typ <a,b> und alpha ein Ausdruck vom Typ a ist, dann ist f(<math>\mathsf \alpha</math>) ein Ausdruck von Typ b.
Beispiel
Das einstellige Prädikat lachen kann als Funktion des Typs <a,b> verstanden werden. Wird die Funktion auf das Argument a angewendet, das zum Beispiel für die Person Dagmar steht, so erhalten wir den Wert b. Der Wert des Arguments b ist in diesem Fall ein Wahrheitswert, der den Wert wahr annimmt, wenn Dagmar lacht, und falsch, wenn Dagmar nicht lacht.
Quelle
WikiLingua 2006
