| rdfs:comment
| - 数学や形式言語に関連する分野（数理論理学と計算機科学）において、自由変数（または自由変項、英: free variable）は数式や論理式で置換が行われる場所を指示する記法である。この考え方はプレースホルダーやワイルドカードにも関連する。 変数x は、例えば次のように書くと 束縛変数（または束縛変項、英: bound variable）になる。 全ての について が成り立つ。 あるいは となるような が存在する。 これらの命題では、x の代わりに別の文字を使っても論理的には全く変化しない。しかし、複雑な命題で同じ文字を別の意味で再利用すると混乱が生じる。すなわち、自由変数が束縛されると、ある意味ではその後の数式の構成をサポートする作業に関与しなくなる。 プログラミングにおいては、自由変数とは関数の中で参照される局所変数や引数以外の変数を意味する。 (ja)
- ( 종속 변수는 여기로 연결됩니다. 함수의 정의역의 원소를 나타내는 변수에 대해서는 독립 변수와 종속 변수 문서를 참고하십시오.) 논리학과 컴퓨터 과학에서 자유 변수(自由變數, 영어: free variable)는 수식 속의 변수 가운데 상숫값으로 치환할 수 있는 것이다. 반대로 종속 변수(從屬變數, 영어: bound variable)는 상숫값으로 치환하였을 때 수식이 본래의 의미를 잃게 되는 변수이다. 종속 변수 대신 가변수(假變數, 영어: dummy variable)라고도 하나, 이는 회귀 분석의 용어로서 더 많이 쓰인다. 컴퓨터 프로그래밍에서 자유 변수는 전역 변수, 종속 변수는 지역 변수를 가리킨다. 이 경우, 자유 변수는 대략 함수의 바깥에서 정의된 변수를 뜻한다. (ko)
- 在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的可以在其中发生，或某些运算（比如总和或量化）可以在其上发生。这个概念有关于占位符（它是以后会被所替换），或表示未指定符号的通配符，但更加深入和复杂。 变量x成为约束变量，比如 对于所有 x，(x + 1)2 = x2 + 2x + 1。 或 存在x，使得 x2 = 2。 在任何这种命题中，是否使用x或其他什么字母在逻辑上不重要。但是，在复合命题的其他地方再次使用同一个字母可能导致冲突。就是说，自由变量变成了约束的，并在支持公式的格式化的进一步工作中在某种意义上“退休”了。 (zh)
- في الرياضيات، ومجالات أخرى بما فيها اللغات الرسمية، تتضمن المنطق الرياضي وعلم الحاسوب، المتغير الحر هو رمز يحدد موضع في التعبير الجبري الذي يمكن تعويض قيم بدل منه وهو ليس وسيط لهذا التعبير أو أي تعبيرات جبرية أخرى. في بعض الكتب القديمة يُستخدم مصطلح المتغير الحقيقي والمتغير الواضح للمتغير الحر والمتغير المُقيد على التوالي. هذه الفكرة مرتبطة برمز الرياضي (رمز سوف يتم استبداله فيما بعد بقيمة ما) أو العناصر النائبة التي تمثل رمز غير محدد. لكل x, (x + 1)2 = x2 + 2x + 1 أو يوجد x بحيث x2 = 2. (ar)
- En las matemáticas y en otras disciplinas que involucran lenguajes formales, incluidas la lógica matemática y la informática, una variable libre es una notación (un símbolo) que específica lugares en una expresión donde una sustitución puede producirse y no es un parámetro de esta o cualquier expresión contenedora. Algunos libros antiguos usan términos como variable real y variable aparente para referirse a variables libres y variables ligadas, respectivamente. La idea es relacionar a un marcador de posición (un símbolo que después será reemplazado por algún valor) o un carácter comodín que representa un símbolo no especificado. (es)
- In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder (a symbol that will later be replaced by some value), or a wildcard character that stands for an unspecified symbol. (en)
- In der Mathematik und Logik bezeichnet man eine Variable als in einer mathematischen 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. (de)
- Em programação de computadores, uma variável livre é uma variável referenciada em uma função, que não é nem uma 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 que especifica posições (lacunas) em uma expressão onde a pode ocorrer. A ideia está relacionada a um marcador de posição (tal como a lacuna de um formulário) ou a um caractere curinga que representa um símbolo não especificado. 'Para todo x, (x + 1)2 = x2 + 2x + 1.' ou (pt)
- В математиці та в інших дисциплінах, які включають в себе формальні мови, включно з математичною логікою і інформатикою, вільна змінна це вид запису, який визначає місця в виразі де можуть відбутись заміни. Ідея пов'язана із позначкою-заповнювачем (англ. placeholder) (символ, який пізніше буде замінений на рядок), або байдужий символ який використовується для невизначеного символу. Змінна x стає зв'язаною змінною, коли ми пишемо, наприклад: 'Для всіх x, (x + 1)2 = x2 + 2x + 1.' або 'Існує x такий, що x2 = 2.' Для будь-якого з цих суджень, логічно не важливо використовуємо ми x або інший символ. (uk)
- Inom matematiken, och andra relaterade områden, såsom predikatlogik, är en fri variabel ett ospecificerat uttryck, såsom x, för vilken inga restriktioner lagts. Om några restriktioner har lagts på variabeln kallas den bunden. Notera att ett uttryck kan innehålla både fria och bundna variabler. Som exempel kan vi titta på definitionen av derivata: (sv)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)