LambdaFunktion: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Spobel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlage:Warnung|Warnung=Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.}} ==Zugehörige Evaluatoren== *'''MathEvaluator''' ===Beschreibun…“) |
|||
Zeile 20: | Zeile 20: | ||
===Beispiele=== | ===Beispiele=== | ||
lambda(x+1, x) --> returns | lambda(x+1, x) --> returns \(\lambda{x}.{x+1}\) | ||
lambda(a^2+2*a*b+b^2, a, b) --> returns | 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]] |
Version vom 24. Mai 2023, 12:15 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}}\)