LambdaFunktion: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Keine Bearbeitungszusammenfassung |
|||
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Vorlage:Warnung|Warnung=Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.}} | {{Vorlage:Warnung|Warnung=Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.}} | ||
==Zugehörige Evaluatoren== | ===Zugehörige Evaluatoren=== | ||
*'''MathEvaluator''' | *'''MathEvaluator''' | ||
| Zeile 23: | Zeile 23: | ||
lambda(a^2+2*a*b+b^2, a, b) --> returns \(\lambda{a},\lambda{b}.{{a}^{2} + {2} \cdot {a} \cdot {b}+{b}^{2}}\) | lambda(a^2+2*a*b+b^2, a, b) --> returns \(\lambda{a},\lambda{b}.{{a}^{2} + {2} \cdot {a} \cdot {b}+{b}^{2}}\) | ||
===Hinweise=== | |||
* Um das Argument einer Lambda Funktion mit einem mathematischen Ausdruck zu vergleichen kann man die Funktion [[LambdaExpressionEqualsExpression]] verwenden. | |||
[[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Ausdruckfunktionen]] | [[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Ausdruckfunktionen]][[Kategorie:JACK3]] | ||
Aktuelle Version vom 17. April 2024, 08:32 Uhr
|
Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems. |
Zugehörige Evaluatoren
- MathEvaluator
Beschreibung
Die Funktion lambda erzeugt eine Lambda Funktion mit Bindungsvariablen.
Diese Funktion wird bspw. für das Summen- (Sum) oder Produktzeichen (Product) benötigt, um die Laufvariable des Arguments zu binden.
Syntax
lambda(Ausdruck argument, Zeichen bindungsvariablen...)
Parameter
- argument - der Term, welcher Variablen enthält, die gebunden werden sollen
- bindungsvariablen... - menge von Variablen, die gebunden werden sollen
Return Value
- Gibt die LambdaFunktion zurück
Beispiele
lambda(x+1, x) --> returns \(\lambda{x}.{x+1}\)
lambda(a^2+2*a*b+b^2, a, b) --> returns \(\lambda{a},\lambda{b}.{{a}^{2} + {2} \cdot {a} \cdot {b}+{b}^{2}}\)
Hinweise
- Um das Argument einer Lambda Funktion mit einem mathematischen Ausdruck zu vergleichen kann man die Funktion LambdaExpressionEqualsExpression verwenden.