| dbpprop:abstract
|
- In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place. The idea is related to a placeholder (a symbol that will later be replaced by some literal string), or a wildcard character that stands for an unspecified symbol. The variable x becomes a bound variable, for example, when we write 'For all x, (x + 1) = x + 2x + 1. ' or 'There exists x such that x = 2. ' In either of these propositions, it does not matter logically whether we use x or some other letter. However, it could be confusing to use the same letter again elsewhere in some compound proposition. That is, free variables become bound, and then in a sense retire from being available as stand-in values for other values in the creation of formulae. In computer programming, a free variable is a variable referred to in a function that is not a local variable or an argument of that function. An upvalue is a free variable that has been bound (closed over) with a closure. Note that variable "freeness" only applies in lexical scoping, There's no distinction when using dynamic scope. That's also why there are no closures in dynamic scope. The term "dummy variable" is also sometimes used for a bound variable (more often in general mathematics than in computer science), but that use creates an ambiguity with the definition of dummy variables in regression analysis.
- In der Mathematik und Logik bezeichnet man eine Variable als in einer Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines Operators auftritt. Sind hingegen alle Vorkommen der Variable innerhalb der Formel an Operatoren gebunden, bezeichnet man die Variable als in dieser Formel gebunden. Eine Formel ohne freie Variablen wird geschlossene Formel, eine Formel mit mindestens einer freien Variablen wird offene Formel genannt. Zum Beispiel ist in der Prädikatenlogik eine Individuenvariable in einer prädikatenlogischen Formel frei, wenn sie in dieser Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor (<math>\forall</math> oder <math>\exists</math>) und nur innerhalb seines Bindungsbereichs verwendete Variable heißt gebunden. In der Prädikatenlogik wird eine geschlossene Formel, das heißt eine Formel ohne freie Variablen auch Aussage oder Satz genannt; eine offene Formel, das heißt eine Formel mit freien Variablen wird auch Aussageform genannt. Ein und dieselbe Variable kann in einer Formel sowohl freie als auch gebundene Vorkommen haben. Die Kenntnis von freien und gebundenen Variablen wird zum Beispiel für die Bereinigung von Formeln benötigt. Andere mathematische Gebieten, in denen freie und gebundene Variablen vorkommen, sind der Lambda-Kalkül sowie viele mathematische Notationen, bei denen gebundene Variablen etwa als Integrationsvariable oder Summationsvariable auftreten.
- En programmation informatique une variable libre est une variable référencée dans une fonction et qui n'est pas une variable locale, ni un paramètre de cette fonction. En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre est une notation qui spécifie à quelles places dans une expression mathématique une substitution peut avoir lieu. Cette idée est liée à celle de marque substitutive (un symbole qui sera plus tard remplacé par une chaîne littérale), ou de caractère joker qui tient lieu de symbole non spécifié.
- In econometria, una variabile di comodo, o dummy variable, è una variabile che assume valore 0 o 1, a seconda che sia soddisfatta o meno una data condizione. È inserita in una regressione multivariata con lo scopo di catturare l'effetto di una variabile qualitativa sul valore medio della variabile dipendente, andando a modificare l'intercetta; in tal senso permette di migliorare l'adattamento della regressione, poiché consente di cogliere ed inserire nel sistema di variabili anche fattori extrastatistici. È inoltre talvolta utilizzata al fine di anestetizzare l'effetto distorsivo di una variabile endogena del sistema che presenta una o più osservazioni anomale; in tal caso, assume la forma di un vettore con valori tutti uguali a 0 (zero), ad esclusione di quello corrispondente all'osservazione anomala che si intende eliminare. L'utilizzo delle variabili di comodo risulta estremamente profittevole di fronte a regressioni multivariate di fenomeni economici con osservazioni protratte nel tempo. Per fare un esempio, volendo costruire una regressione che descriva l'andamento del commercio tra paesi europei (si utilizzano di norma variabili ponderate sui valori di import ed export), troveremmo uno o più shift positivi in corrispondenza dei valori successivi all'entrata in vigore dei vari accordi commerciali. Tali osservazioni inficierebbero in modo negativo sull'adattamento della regressione, ossia sulla capacità delle variabili selezionate di "spiegare" il fenomeno oggetto di analisi. Per ovviare a questo difetto, si possono inserire una o più Dummy, variabili vettori con elementi tutti nulli ad eccezione di quelli corrispondenti alle osservazioni shiftate.
- In logica matematica e in particolare in un linguaggio del primo ordine si dice che una variabile occorre libera in una formula ben formata <math>\mathcal A</math> se nella formula tale variabile appare al di fuori del dominio di un quantificatore sulla variabile stessa.
- 数学や形式言語に関連する分野（数理論理学と計算機科学）において、自由変数または自由変項（英: Free variable）は数式や論理式で置換が行われる場所を指示する記法である。この考え方はプレースホルダーやワイルドカードにも関連する。 変数 x は、例えば次のように書くと 束縛変数または束縛変項（英: Bound variable）になる。 全ての x について、 (x + 1) = x + 2x + 1 が成り立つ。 あるいは x = 2 となるような x が存在する。 これらの命題では、x の代わりに別の文字を使っても論理的には全く変化しない。しかし、複雑な命題で同じ文字を別の意味で再利用すると混乱が生じる。すなわち、自由変数が束縛されると、ある意味ではその後の数式の構成をサポートする作業に関与しなくなる。 プログラミングにおいては、自由変数とは関数の中で参照されるローカル変数や引数以外の変数を意味する。
- Em programação de computadores, uma variável livre é uma variável referenciada em uma função, que não é nem uma variável local nem um argumento daquela função. Em matemática, e em outras disciplinas envolvendo linguagens formais, incluindo a lógica matemática e a ciência da computação, uma variável livre é uma notação para um espaço ou espaços em uma expressão, no(s) qual(is) uma certa substituição pode ocorrer, ou em relação ao(s) qual(is) uma operação de pode ocorrer. O conceito é semelhante ao de um apelido, uma palavra que identifica e até representa uma certa entidade. A variável x passa a ser uma variável ligada(ou muda), quando escrevemos, por exemplo: 'Para todo x, (x + 1) = x + 2x + 1. ' ou 'Existe x tal que x = 2. ' Em ambas estas proposições, não importa logicamente se usamos x ou alguma outra letra. No entanto, ao optarmos por usar x estamos concordando em não mais usar esta letra para representar um valor específico, ao menos naquela parte da fómula em que ela é ligada. Em outras palavras, uma variável livre perde sua capacidade de indicar valores determinados ao tornar-se ligada.
- Свободная переменная в программировании — переменная, которая встречается в теле функции, но которая не является параметром этой функции, и место, где эта переменная была определена, находится где-то за пределами функции. Свободные переменные упрощают начальный процесс написания программы, но существенно осложняют её дальнейшее развитие и отладку.
- 在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换可以在其中发生，或某些运算可以在其上发生。这个概念有关于占位符，或表示未指定符号的通配符，但更加深入和复杂。 变量 x 成为约束变量，比如 '对于所有 x，(x + 1) = x + 2x + 1'。 或 '存在 x 使得 x = 2'。 在任何这种命题中，是否使用 x 或其他什么字母在逻辑上不重要。但是，在复合命题的其他地方再次使用同一个字母可能导致冲突。就是说，自由变量变成了约束的，并在支持公式的格式化的进一步工作中在某种意义上退休了。
|
| rdfs:comment
|
- In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place. The idea is related to a placeholder (a symbol that will later be replaced by some literal string), or a wildcard character that stands for an unspecified symbol. The variable x becomes a bound variable, for example, when we write 'For all x, (x + 1) = x + 2x + 1.
- In der Mathematik und Logik bezeichnet man eine Variable als in einer Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines Operators auftritt. Sind hingegen alle Vorkommen der Variable innerhalb der Formel an Operatoren gebunden, bezeichnet man die Variable als in dieser Formel gebunden. Eine Formel ohne freie Variablen wird geschlossene Formel, eine Formel mit mindestens einer freien Variablen wird offene Formel genannt.
- En programmation informatique une variable libre est une variable référencée dans une fonction et qui n'est pas une variable locale, ni un paramètre de cette fonction. En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre est une notation qui spécifie à quelles places dans une expression mathématique une substitution peut avoir lieu.
- In econometria, una variabile di comodo, o dummy variable, è una variabile che assume valore 0 o 1, a seconda che sia soddisfatta o meno una data condizione.
- In logica matematica e in particolare in un linguaggio del primo ordine si dice che una variabile occorre libera in una formula ben formata <math>\mathcal A</math> se nella formula tale variabile appare al di fuori del dominio di un quantificatore sulla variabile stessa.
- Em programação de computadores, uma variável livre é uma variável referenciada em uma função, que não é nem uma variável local nem um argumento daquela função.
- Свободная переменная в программировании — переменная, которая встречается в теле функции, но которая не является параметром этой функции, и место, где эта переменная была определена, находится где-то за пределами функции.
|
![[RDF Data]](/statics/sw-cube.png)
