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…“)
 
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 <math>\lambda{a},\lambda{b}.{{a}^{2} + {2} \cdot {a} \cdot {b}+{b}^{2}}</math>
  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, 13: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}}\)