LambdaFunktion: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Keine Bearbeitungszusammenfassung |
|||
| Zeile 24: | Zeile 24: | ||
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}}\) | ||
[[Kategorie:Math-Evaluatorfunktion]] | [[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Ausdruckfunktionen]] | ||
Version vom 15. November 2023, 10:56 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}}\)