About: Free variables and bound variables     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FFree_variables_and_bound_variables

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. For all x, (x + 1)2 = x2 + 2x + 1.

AttributesValues
rdf:type
rdfs:label
  • Freie Variable und gebundene Variable
  • Free variables and bound variables
  • Variabile libera
  • 自由変数と束縛変数
  • 자유 변수와 종속 변수
  • Variáveis livres e ligadas
  • Fria och bundna variabler
  • Вільні і зв'язані змінні
  • 自由变量和约束变量
rdfs:comment
  • 数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。この考え方はプレースホルダーやワイルドカードにも関連する。 変数x は、例えば次のように書くと 束縛変数(または束縛変項、英: bound variable)になる。 全ての について が成り立つ。 あるいは となるような が存在する。 これらの命題では、x の代わりに別の文字を使っても論理的には全く変化しない。しかし、複雑な命題で同じ文字を別の意味で再利用すると混乱が生じる。すなわち、自由変数が束縛されると、ある意味ではその後の数式の構成をサポートする作業に関与しなくなる。 プログラミングにおいては、自由変数とは関数の中で参照される局所変数や引数以外の変数を意味する。
  • In logica matematica e in particolare in un linguaggio del primo ordine si dice che una variabile occorre libera in una formula ben formata se nella formula tale variabile appare al di fuori del dominio di un quantificatore sulla variabile stessa.
  • 논리학과 컴퓨터 과학에서, 자유 변수(自由變數, 영어: free variable)는 수식 속의 변수 가운데 상숫값으로 치환할 수 있는 것이다. 반대로 종속 변수(從屬變數, 영어: bound variable)는 상숫값으로 치환하였을 때 수식이 본래의 의미를 잃게 되는 변수이다. 종속 변수 대신 가변수(假變數, 영어: dummy variable)라고도 하나, 이는 회귀 분석의 용어로서 더 많이 쓰인다. 컴퓨터 프로그래밍에서 자유 변수는 전역 변수, 종속 변수는 지역 변수를 가리킨다. 이 경우, 자유 변수는 대략 함수의 바깥에서 정의된 변수를 뜻한다.
  • 在数学和其他涉及形式语言的学科中,包括数理逻辑和计算机科学,自由变量是在表达式中用于表示一个位置或一些位置的符号,某些明确的可以在其中发生,或某些运算(比如总和或量化)可以在其上发生。这个概念有关于占位符(它是以后会被所替换),或表示未指定符号的通配符,但更加深入和复杂。 变量 x 成为约束变量,比如 '对于所有 x,(x + 1)2 = x2 + 2x + 1'。 或 '存在 x 使得 x2 = 2'。 在任何这种命题中,是否使用 x 或其他什么字母在逻辑上不重要。但是,在复合命题的其他地方再次使用同一个字母可能导致冲突。就是说,自由变量变成了约束的,并在支持公式的格式化的进一步工作中在某种意义上退休了。
  • 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.
  • 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. For all x, (x + 1)2 = x2 + 2x + 1.
  • 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
  • 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:
  • В математиці та в інших дисциплінах, які включають в себе формальні мови, включно з математичною логікою і інформатикою, вільна змінна це вид запису, який визначає місця в виразі де можуть відбутись заміни. Ідея пов'язана із позначкою-заповнювачем (англ. placeholder) (символ, який пізніше буде замінений на рядок), або байдужий символ який використовується для невизначеного символу. Змінна x стає зв'язаною змінною, коли ми пишемо, наприклад: 'Для всіх x, (x + 1)2 = x2 + 2x + 1.' або 'Існує x такий, що x2 = 2.' Для будь-якого з цих суджень, логічно не важливо використовуємо ми x або інший символ.
differentFrom
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software