Babylon 9 Translation Software and Dictionary Tool
Freie Variable und gebundene Variable. In der Mathematik und Logik bezeichnet man eine ... Eine Formel ohne freie Variablen wird geschlossene Formel, eine Formel mit mindestens ...

In der offenen Formel ist gebunden und ist frei
http://de.wikipedia.org/wiki/Freie_Variable_und_gebundene_Variable

Freie und gebundene Variable
R ist eine gebundene Variable, K ist eine freie Variable. Gebunden und frei beziehen sich auf einen lambda-Ausdruck. Variablen der lambda-Variablenliste heißen bzgl. ...

Umbenennung Eine durch einen Quantor gebundene Variable kann durch eine andere vorher nicht vorkommende ersetzt werden wobei eine logisch quivalente Formel entsteht Beispiel Aus entsteht durch gebundene Umbenennung die Formel
http://de.wikipedia.org/wiki/Freie_Variable_und_gebundene_Variable

Variable (Logik) – Wikipedia
Zu unterscheiden sind freie, vollfreie und gebundene Variablen.[12] Eine freie Variable ist eine "Variable, die in einem Satz nicht quantifiziert ...

Anfangsgr" unde der mathematischen Logik
Die Begriffe Formel, freie und gebundene Subjektvariable werden rekursiv wie ... menden Subjektvariablen als freie Subjektvariablen, gebundene Subjekt ...

Basic Instincts: Lambda-Ausdrücke
Hier ist ein Beispiel für einen Lambda-Ausdruck, der gebundene und freie Variable enthält: ... Die freie Variable wird dann in eine gebundene Variable für die ...

Elements of Mathematical Logic Anfangsgründe der ...
replace free subject variableErsetzung für freie Subjektvariable. rename bound subject variableUmbenennung für gebundene Subjektvariable ...

VARIABLE Variable
"Freie Variable. In der formalen Logik eine Variable, die in einer Formel an keine ... Eine nicht freie Variable heißt eine gebundene Variable. Eine Formel, in der f. V. ...

Frank Kannetzky -- Begleitmaterial zum Grundkurs Logik
Quantoren binden Gegenstandsvariable und machen damit aus Aussageformen Aussagen. ... Variable, die im Bereich eines Quantors stehen, heißen gebundene Variable. ...

Summationsvariable | de.losts.net
In diesem Fall multipliziert man die Summationsvariable mit der Zahl 5. ... Freie Variable und gebundene Variable. Ebenso kommen sie vor beim ...