Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
some older books use the terms real variable and apparent variable for free variable and bound variable.
die kenntnis von freien und gebundenen variablen wird zum beispiel für die bereinigung von formeln benötigt.
a simple closure is a closure whose expression has no free variables and hence no free variable bindings.
ein simple closure (einfacher abschluss) ist ein closure, dessen ausdruck keine freien variablen und auch keine freien variablel-verknüpfungen hat.
in computer programming, the term free variable refers to variables used in a function that are not local variables nor parameters of that function.
gebundene variablen kommen stets bei der notation von klassen und mengen vor, die in der mathematik überall gebraucht werden.
if a formula does not contain free variables, and so is a sentence, then the initial variable assignment does not affect its truth value.
bei dieser definition wurde darauf geachtet, dass variablen nicht unbeabsichtigt in den einflussbereich eines quantors geraten.
in mathematics, the operation of substitution consists in replacing all the occurrences of a free variable appearing in an expression or a formula by a number or another expression.
unter substitution versteht man in der mathematik allgemein das ersetzen eines terms durch einen anderen mit dem ziel der Überführung des ausgangsterms in eine einfach lösbare standardform.
when this function is applied to different arguments later, the free variable bindings that were captured in the closure are used to obtain the values of the free variables to be used in the calculation.
wenn diese funktion später einem anderen argument zugewiesen wird, werden die freien variabel-verknüpfungend, die in das closure eingeschlossen sind, benutzt um die werte der freien variablen, die in der rechnung benutzt werden sollen, zu errechnen.
only once the enclosing function is evaluated with a value for the parameter is the free variable of the nested function bound, creating a closure, which is then returned from the enclosing function.
dieses durch die lisp-funktion function erzeugte paar ist eine dynamische closure mit der historischen bezeichnung funarg (functional argument).
a four-cylinder, four-cycle, free piston, premixed charge compression ignition, internal combustion reciprocating piston engine with a variable stroke
vierzylinder- und viertakt-hubkolbenmotor mit freiem kolben, vorgemischter kompressionsgezÜndeter verbrennung und variablem takt
instead of formulas with one free variable, formulas with "k" free number variables are used to define the arithmetical hierarchy on sets of "k"-tuples of natural numbers.
mengen von "k"-tupeln natürlicher zahlen klassifizieren, wenn man formeln mit "k" freien variablen betrachtet.
such a formula is equivalent to either true or false (since there are no free variables).
es untersucht, ob eine mit quantoren versehene aussagenlogische formel erfüllbar oder "wahr" ist.
a dapper! this apartment is located in a solid building. a solid is a beautiful sustainable building that gives space to what people want. tenants are completely free in the use of the space. housing, business, or a combination. this creates a solid mix of a free variable functions. a solid is a 'city in a building'. important information:
dieses studio liegt in graça, einem viertel von lissabon mit einer wunderschönen aussicht auf die stadt. vergessen sie nicht, die graça kirche zu besuchen, welche im 13. jahrhundert erbaut wurde.
