LambdaFunktion: Unterschied zwischen den Versionen

Aus JACK Wiki
Zur Navigation springen Zur Suche springen
(Die Seite wurde neu angelegt: „{{Vorlage:Warnung|Warnung=Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.}} ==Zugehörige Evaluatoren== *'''MathEvaluator''' ===Beschreibun…“)
 
 
(3 dazwischenliegende Versionen von 2 Benutzern werden 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 20: Zeile 20:


===Beispiele===
===Beispiele===
  lambda(x+1, x) --> returns <math>\lambda{x}.{x+1}</math>
  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}}\)


lambda(a^2+2*a*b+b^2, a, b) --> returns <math>\lambda{a},\lambda{b}.{{a}^{2} + {2} \cdot {a} \cdot {b}+{b}^{2}}</math>
===Hinweise===
* Um das Argument einer Lambda Funktion mit einem mathematischen Ausdruck zu vergleichen kann man die Funktion [[LambdaExpressionEqualsExpression]] verwenden.
   
   
[[Kategorie:Math-Evaluatorfunktion]]
[[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