@prefix rdf: . @prefix dbr: . @prefix dbo: . dbr:Free_variables_and_bound_variables rdf:type dbo:Software . @prefix owl: . dbr:Free_variables_and_bound_variables rdf:type owl:Thing . @prefix rdfs: . dbr:Free_variables_and_bound_variables rdfs:label "Vari\u00E1veis livres e ligadas"@pt , "\uC790\uC720 \uBCC0\uC218\uC640 \uC885\uC18D \uBCC0\uC218"@ko , "Free variables and bound variables"@en , "Variable libre y variable ligada"@es , "\u81EA\u7531\u53D8\u91CF\u548C\u7EA6\u675F\u53D8\u91CF"@zh , "\u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u062D\u0631 \u0648\u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u0645\u0642\u064A\u062F"@ar , "\u0412\u0456\u043B\u044C\u043D\u0456 \u0456 \u0437\u0432'\u044F\u0437\u0430\u043D\u0456 \u0437\u043C\u0456\u043D\u043D\u0456"@uk , "Fria och bundna variabler"@sv , "Freie Variable und gebundene Variable"@de , "\u81EA\u7531\u5909\u6570\u3068\u675F\u7E1B\u5909\u6570"@ja ; rdfs:comment "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 , "( \uC885\uC18D \uBCC0\uC218\uB294 \uC5EC\uAE30\uB85C \uC5F0\uACB0\uB429\uB2C8\uB2E4. \uD568\uC218\uC758 \uC815\uC758\uC5ED\uC758 \uC6D0\uC18C\uB97C \uB098\uD0C0\uB0B4\uB294 \uBCC0\uC218\uC5D0 \uB300\uD574\uC11C\uB294 \uB3C5\uB9BD \uBCC0\uC218\uC640 \uC885\uC18D \uBCC0\uC218 \uBB38\uC11C\uB97C \uCC38\uACE0\uD558\uC2ED\uC2DC\uC624.) \uB17C\uB9AC\uD559\uACFC \uCEF4\uD4E8\uD130 \uACFC\uD559\uC5D0\uC11C \uC790\uC720 \uBCC0\uC218(\u81EA\u7531\u8B8A\u6578, \uC601\uC5B4: free variable)\uB294 \uC218\uC2DD \uC18D\uC758 \uBCC0\uC218 \uAC00\uC6B4\uB370 \uC0C1\uC22B\uAC12\uC73C\uB85C \uCE58\uD658\uD560 \uC218 \uC788\uB294 \uAC83\uC774\uB2E4. \uBC18\uB300\uB85C \uC885\uC18D \uBCC0\uC218(\u5F9E\u5C6C\u8B8A\u6578, \uC601\uC5B4: bound variable)\uB294 \uC0C1\uC22B\uAC12\uC73C\uB85C \uCE58\uD658\uD558\uC600\uC744 \uB54C \uC218\uC2DD\uC774 \uBCF8\uB798\uC758 \uC758\uBBF8\uB97C \uC783\uAC8C \uB418\uB294 \uBCC0\uC218\uC774\uB2E4. \uC885\uC18D \uBCC0\uC218 \uB300\uC2E0 \uAC00\uBCC0\uC218(\u5047\u8B8A\u6578, \uC601\uC5B4: dummy variable)\uB77C\uACE0\uB3C4 \uD558\uB098, \uC774\uB294 \uD68C\uADC0 \uBD84\uC11D\uC758 \uC6A9\uC5B4\uB85C\uC11C \uB354 \uB9CE\uC774 \uC4F0\uC778\uB2E4. \uCEF4\uD4E8\uD130 \uD504\uB85C\uADF8\uB798\uBC0D\uC5D0\uC11C \uC790\uC720 \uBCC0\uC218\uB294 \uC804\uC5ED \uBCC0\uC218, \uC885\uC18D \uBCC0\uC218\uB294 \uC9C0\uC5ED \uBCC0\uC218\uB97C \uAC00\uB9AC\uD0A8\uB2E4. \uC774 \uACBD\uC6B0, \uC790\uC720 \uBCC0\uC218\uB294 \uB300\uB7B5 \uD568\uC218\uC758 \uBC14\uAE65\uC5D0\uC11C \uC815\uC758\uB41C \uBCC0\uC218\uB97C \uB73B\uD55C\uB2E4."@ko , "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 , "\u0412 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0446\u0456 \u0442\u0430 \u0432 \u0456\u043D\u0448\u0438\u0445 \u0434\u0438\u0441\u0446\u0438\u043F\u043B\u0456\u043D\u0430\u0445, \u044F\u043A\u0456 \u0432\u043A\u043B\u044E\u0447\u0430\u044E\u0442\u044C \u0432 \u0441\u0435\u0431\u0435 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0456 \u043C\u043E\u0432\u0438, \u0432\u043A\u043B\u044E\u0447\u043D\u043E \u0437 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u044E \u043B\u043E\u0433\u0456\u043A\u043E\u044E \u0456 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u043E\u044E, \u0432\u0456\u043B\u044C\u043D\u0430 \u0437\u043C\u0456\u043D\u043D\u0430 \u0446\u0435 \u0432\u0438\u0434 \u0437\u0430\u043F\u0438\u0441\u0443, \u044F\u043A\u0438\u0439 \u0432\u0438\u0437\u043D\u0430\u0447\u0430\u0454 \u043C\u0456\u0441\u0446\u044F \u0432 \u0432\u0438\u0440\u0430\u0437\u0456 \u0434\u0435 \u043C\u043E\u0436\u0443\u0442\u044C \u0432\u0456\u0434\u0431\u0443\u0442\u0438\u0441\u044C \u0437\u0430\u043C\u0456\u043D\u0438. \u0406\u0434\u0435\u044F \u043F\u043E\u0432'\u044F\u0437\u0430\u043D\u0430 \u0456\u0437 \u043F\u043E\u0437\u043D\u0430\u0447\u043A\u043E\u044E-\u0437\u0430\u043F\u043E\u0432\u043D\u044E\u0432\u0430\u0447\u0435\u043C (\u0430\u043D\u0433\u043B. placeholder) (\u0441\u0438\u043C\u0432\u043E\u043B, \u044F\u043A\u0438\u0439 \u043F\u0456\u0437\u043D\u0456\u0448\u0435 \u0431\u0443\u0434\u0435 \u0437\u0430\u043C\u0456\u043D\u0435\u043D\u0438\u0439 \u043D\u0430 \u0440\u044F\u0434\u043E\u043A), \u0430\u0431\u043E \u0431\u0430\u0439\u0434\u0443\u0436\u0438\u0439 \u0441\u0438\u043C\u0432\u043E\u043B \u044F\u043A\u0438\u0439 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0454\u0442\u044C\u0441\u044F \u0434\u043B\u044F \u043D\u0435\u0432\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043E\u0433\u043E \u0441\u0438\u043C\u0432\u043E\u043B\u0443. \u0417\u043C\u0456\u043D\u043D\u0430 x \u0441\u0442\u0430\u0454 \u0437\u0432'\u044F\u0437\u0430\u043D\u043E\u044E \u0437\u043C\u0456\u043D\u043D\u043E\u044E, \u043A\u043E\u043B\u0438 \u043C\u0438 \u043F\u0438\u0448\u0435\u043C\u043E, \u043D\u0430\u043F\u0440\u0438\u043A\u043B\u0430\u0434: '\u0414\u043B\u044F \u0432\u0441\u0456\u0445 x, (x + 1)2 = x2 + 2x + 1.' \u0430\u0431\u043E '\u0406\u0441\u043D\u0443\u0454 x \u0442\u0430\u043A\u0438\u0439, \u0449\u043E x2 = 2.' \u0414\u043B\u044F \u0431\u0443\u0434\u044C-\u044F\u043A\u043E\u0433\u043E \u0437 \u0446\u0438\u0445 \u0441\u0443\u0434\u0436\u0435\u043D\u044C, \u043B\u043E\u0433\u0456\u0447\u043D\u043E \u043D\u0435 \u0432\u0430\u0436\u043B\u0438\u0432\u043E \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0454\u043C\u043E \u043C\u0438 x \u0430\u0431\u043E \u0456\u043D\u0448\u0438\u0439 \u0441\u0438\u043C\u0432\u043E\u043B."@uk , "En las matem\u00E1ticas y en otras disciplinas que involucran lenguajes formales, incluidas la l\u00F3gica matem\u00E1tica y la inform\u00E1tica, una variable libre es una notaci\u00F3n (un s\u00EDmbolo) que espec\u00EDfica lugares en una expresi\u00F3n donde una sustituci\u00F3n puede producirse y no es un par\u00E1metro de esta o cualquier expresi\u00F3n contenedora. Algunos libros antiguos usan t\u00E9rminos como variable real y variable aparente para referirse a variables libres y variables ligadas, respectivamente. La idea es relacionar a un marcador de posici\u00F3n (un s\u00EDmbolo que despu\u00E9s ser\u00E1 reemplazado por alg\u00FAn valor) o un car\u00E1cter comod\u00EDn que representa un s\u00EDmbolo no especificado."@es , "\u5728\u6570\u5B66\u548C\u5176\u4ED6\u6D89\u53CA\u5F62\u5F0F\u8BED\u8A00\u7684\u5B66\u79D1\u4E2D\uFF0C\u5305\u62EC\u6570\u7406\u903B\u8F91\u548C\u8BA1\u7B97\u673A\u79D1\u5B66\uFF0C\u81EA\u7531\u53D8\u91CF\u662F\u5728\u8868\u8FBE\u5F0F\u4E2D\u7528\u4E8E\u8868\u793A\u4E00\u4E2A\u4F4D\u7F6E\u6216\u4E00\u4E9B\u4F4D\u7F6E\u7684\u7B26\u53F7\uFF0C\u67D0\u4E9B\u660E\u786E\u7684\u53EF\u4EE5\u5728\u5176\u4E2D\u53D1\u751F\uFF0C\u6216\u67D0\u4E9B\u8FD0\u7B97\uFF08\u6BD4\u5982\u603B\u548C\u6216\u91CF\u5316\uFF09\u53EF\u4EE5\u5728\u5176\u4E0A\u53D1\u751F\u3002\u8FD9\u4E2A\u6982\u5FF5\u6709\u5173\u4E8E\u5360\u4F4D\u7B26\uFF08\u5B83\u662F\u4EE5\u540E\u4F1A\u88AB\u6240\u66FF\u6362\uFF09\uFF0C\u6216\u8868\u793A\u672A\u6307\u5B9A\u7B26\u53F7\u7684\u901A\u914D\u7B26\uFF0C\u4F46\u66F4\u52A0\u6DF1\u5165\u548C\u590D\u6742\u3002 \u53D8\u91CFx\u6210\u4E3A\u7EA6\u675F\u53D8\u91CF\uFF0C\u6BD4\u5982 \u5BF9\u4E8E\u6240\u6709 x\uFF0C(x + 1)2 = x2 + 2x + 1\u3002 \u6216 \u5B58\u5728x\uFF0C\u4F7F\u5F97 x2 = 2\u3002 \u5728\u4EFB\u4F55\u8FD9\u79CD\u547D\u9898\u4E2D\uFF0C\u662F\u5426\u4F7F\u7528x\u6216\u5176\u4ED6\u4EC0\u4E48\u5B57\u6BCD\u5728\u903B\u8F91\u4E0A\u4E0D\u91CD\u8981\u3002\u4F46\u662F\uFF0C\u5728\u590D\u5408\u547D\u9898\u7684\u5176\u4ED6\u5730\u65B9\u518D\u6B21\u4F7F\u7528\u540C\u4E00\u4E2A\u5B57\u6BCD\u53EF\u80FD\u5BFC\u81F4\u51B2\u7A81\u3002\u5C31\u662F\u8BF4\uFF0C\u81EA\u7531\u53D8\u91CF\u53D8\u6210\u4E86\u7EA6\u675F\u7684\uFF0C\u5E76\u5728\u652F\u6301\u516C\u5F0F\u7684\u683C\u5F0F\u5316\u7684\u8FDB\u4E00\u6B65\u5DE5\u4F5C\u4E2D\u5728\u67D0\u79CD\u610F\u4E49\u4E0A\u201C\u9000\u4F11\u201D\u4E86\u3002"@zh , "Em programa\u00E7\u00E3o de computadores, uma vari\u00E1vel livre \u00E9 uma vari\u00E1vel referenciada em uma fun\u00E7\u00E3o, que n\u00E3o \u00E9 nem uma nem um argumento daquela fun\u00E7\u00E3o. Em matem\u00E1tica, e em outras disciplinas envolvendo linguagens formais, incluindo a l\u00F3gica matem\u00E1tica e a ci\u00EAncia da computa\u00E7\u00E3o, uma vari\u00E1vel livre \u00E9 uma nota\u00E7\u00E3o que especifica posi\u00E7\u00F5es (lacunas) em uma express\u00E3o onde a pode ocorrer. A ideia est\u00E1 relacionada a um marcador de posi\u00E7\u00E3o (tal como a lacuna de um formul\u00E1rio) ou a um caractere curinga que representa um s\u00EDmbolo n\u00E3o especificado. 'Para todo x, (x + 1)2 = x2 + 2x + 1.' ou"@pt , "\u0641\u064A \u0627\u0644\u0631\u064A\u0627\u0636\u064A\u0627\u062A\u060C \u0648\u0645\u062C\u0627\u0644\u0627\u062A \u0623\u062E\u0631\u0649 \u0628\u0645\u0627 \u0641\u064A\u0647\u0627 \u0627\u0644\u0644\u063A\u0627\u062A \u0627\u0644\u0631\u0633\u0645\u064A\u0629\u060C \u062A\u062A\u0636\u0645\u0646 \u0627\u0644\u0645\u0646\u0637\u0642 \u0627\u0644\u0631\u064A\u0627\u0636\u064A \u0648\u0639\u0644\u0645 \u0627\u0644\u062D\u0627\u0633\u0648\u0628\u060C \u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u062D\u0631 \u0647\u0648 \u0631\u0645\u0632 \u064A\u062D\u062F\u062F \u0645\u0648\u0636\u0639 \u0641\u064A \u0627\u0644\u062A\u0639\u0628\u064A\u0631 \u0627\u0644\u062C\u0628\u0631\u064A \u0627\u0644\u0630\u064A \u064A\u0645\u0643\u0646 \u062A\u0639\u0648\u064A\u0636 \u0642\u064A\u0645 \u0628\u062F\u0644 \u0645\u0646\u0647 \u0648\u0647\u0648 \u0644\u064A\u0633 \u0648\u0633\u064A\u0637 \u0644\u0647\u0630\u0627 \u0627\u0644\u062A\u0639\u0628\u064A\u0631 \u0623\u0648 \u0623\u064A \u062A\u0639\u0628\u064A\u0631\u0627\u062A \u062C\u0628\u0631\u064A\u0629 \u0623\u062E\u0631\u0649. \u0641\u064A \u0628\u0639\u0636 \u0627\u0644\u0643\u062A\u0628 \u0627\u0644\u0642\u062F\u064A\u0645\u0629 \u064A\u064F\u0633\u062A\u062E\u062F\u0645 \u0645\u0635\u0637\u0644\u062D \u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u062D\u0642\u064A\u0642\u064A \u0648\u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u0648\u0627\u0636\u062D \u0644\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u062D\u0631 \u0648\u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u0645\u064F\u0642\u064A\u062F \u0639\u0644\u0649 \u0627\u0644\u062A\u0648\u0627\u0644\u064A. \u0647\u0630\u0647 \u0627\u0644\u0641\u0643\u0631\u0629 \u0645\u0631\u062A\u0628\u0637\u0629 \u0628\u0631\u0645\u0632 \u0627\u0644\u0631\u064A\u0627\u0636\u064A (\u0631\u0645\u0632 \u0633\u0648\u0641 \u064A\u062A\u0645 \u0627\u0633\u062A\u0628\u062F\u0627\u0644\u0647 \u0641\u064A\u0645\u0627 \u0628\u0639\u062F \u0628\u0642\u064A\u0645\u0629 \u0645\u0627) \u0623\u0648 \u0627\u0644\u0639\u0646\u0627\u0635\u0631 \u0627\u0644\u0646\u0627\u0626\u0628\u0629 \u0627\u0644\u062A\u064A \u062A\u0645\u062B\u0644 \u0631\u0645\u0632 \u063A\u064A\u0631 \u0645\u062D\u062F\u062F. \u0644\u0643\u0644 x, (x + 1)2 = x2 + 2x + 1 \u0623\u0648 \u064A\u0648\u062C\u062F x \u0628\u062D\u064A\u062B x2 = 2."@ar , "Inom matematiken, och andra relaterade omr\u00E5den, s\u00E5som predikatlogik, \u00E4r en fri variabel ett ospecificerat uttryck, s\u00E5som x, f\u00F6r vilken inga restriktioner lagts. Om n\u00E5gra restriktioner har lagts p\u00E5 variabeln kallas den bunden. Notera att ett uttryck kan inneh\u00E5lla b\u00E5de fria och bundna variabler. Som exempel kan vi titta p\u00E5 definitionen av derivata:"@sv , "\u6570\u5B66\u3084\u5F62\u5F0F\u8A00\u8A9E\u306B\u95A2\u9023\u3059\u308B\u5206\u91CE\uFF08\u6570\u7406\u8AD6\u7406\u5B66\u3068\u8A08\u7B97\u6A5F\u79D1\u5B66\uFF09\u306B\u304A\u3044\u3066\u3001\u81EA\u7531\u5909\u6570\uFF08\u307E\u305F\u306F\u81EA\u7531\u5909\u9805\u3001\u82F1: free variable\uFF09\u306F\u6570\u5F0F\u3084\u8AD6\u7406\u5F0F\u3067\u7F6E\u63DB\u304C\u884C\u308F\u308C\u308B\u5834\u6240\u3092\u6307\u793A\u3059\u308B\u8A18\u6CD5\u3067\u3042\u308B\u3002\u3053\u306E\u8003\u3048\u65B9\u306F\u30D7\u30EC\u30FC\u30B9\u30DB\u30EB\u30C0\u30FC\u3084\u30EF\u30A4\u30EB\u30C9\u30AB\u30FC\u30C9\u306B\u3082\u95A2\u9023\u3059\u308B\u3002 \u5909\u6570x \u306F\u3001\u4F8B\u3048\u3070\u6B21\u306E\u3088\u3046\u306B\u66F8\u304F\u3068 \u675F\u7E1B\u5909\u6570\uFF08\u307E\u305F\u306F\u675F\u7E1B\u5909\u9805\u3001\u82F1: bound variable\uFF09\u306B\u306A\u308B\u3002 \u5168\u3066\u306E \u306B\u3064\u3044\u3066 \u304C\u6210\u308A\u7ACB\u3064\u3002 \u3042\u308B\u3044\u306F \u3068\u306A\u308B\u3088\u3046\u306A \u304C\u5B58\u5728\u3059\u308B\u3002 \u3053\u308C\u3089\u306E\u547D\u984C\u3067\u306F\u3001x \u306E\u4EE3\u308F\u308A\u306B\u5225\u306E\u6587\u5B57\u3092\u4F7F\u3063\u3066\u3082\u8AD6\u7406\u7684\u306B\u306F\u5168\u304F\u5909\u5316\u3057\u306A\u3044\u3002\u3057\u304B\u3057\u3001\u8907\u96D1\u306A\u547D\u984C\u3067\u540C\u3058\u6587\u5B57\u3092\u5225\u306E\u610F\u5473\u3067\u518D\u5229\u7528\u3059\u308B\u3068\u6DF7\u4E71\u304C\u751F\u3058\u308B\u3002\u3059\u306A\u308F\u3061\u3001\u81EA\u7531\u5909\u6570\u304C\u675F\u7E1B\u3055\u308C\u308B\u3068\u3001\u3042\u308B\u610F\u5473\u3067\u306F\u305D\u306E\u5F8C\u306E\u6570\u5F0F\u306E\u69CB\u6210\u3092\u30B5\u30DD\u30FC\u30C8\u3059\u308B\u4F5C\u696D\u306B\u95A2\u4E0E\u3057\u306A\u304F\u306A\u308B\u3002 \u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u306B\u304A\u3044\u3066\u306F\u3001\u81EA\u7531\u5909\u6570\u3068\u306F\u95A2\u6570\u306E\u4E2D\u3067\u53C2\u7167\u3055\u308C\u308B\u5C40\u6240\u5909\u6570\u3084\u5F15\u6570\u4EE5\u5916\u306E\u5909\u6570\u3092\u610F\u5473\u3059\u308B\u3002"@ja ; owl:differentFrom dbr:Free_parameter , . @prefix foaf: . dbr:Free_variables_and_bound_variables foaf:depiction . @prefix dcterms: . @prefix dbc: . dbr:Free_variables_and_bound_variables dcterms:subject dbc:Computer_programming , dbc:Logic_symbols , dbc:Predicate_logic , dbc:Mathematical_notation ; dbo:wikiPageID 147460 ; dbo:wikiPageRevisionID 1097656027 ; dbo:wikiPageWikiLink dbr:Reference , dbr:Grammaticality , , dbr:Referent , , dbr:Tree_traversal , dbr:Lambda_lifting , dbr:Coreference , dbr:Universal_quantifier , , dbr:Reciprocal_pronoun , dbr:Logical_conjunction , dbr:Computable_function , dbr:Combinatory_logic , dbr:Non-local_variable , dbr:Pragmatics , , , , , dbc:Logic_symbols , dbc:Computer_programming , dbr:Computer_science , dbr:Logical_value , dbr:Logical_operator , dbr:Wildcard_character , dbr:Computer_programming , , dbr:Boolean-valued_function , dbr:Mathematical_logic , dbr:Anaphor , dbr:Bound_variable_pronoun , dbr:Name_binding , dbr:Syntax , dbr:Formal_language , , dbr:Summation , dbr:Swedish_language , , , dbr:Norwegian_language , dbr:Reflexive_pronoun , , dbc:Predicate_logic , , dbr:Lambda_calculus , , dbr:Local_variable , dbr:Symbol , dbr:Mathematics , dbr:Semantics , dbr:Abstract_syntax_tree , dbr:Logical_quantifier , dbr:Government_and_binding_theory , dbr:Personal_pronoun , dbr:Domain_of_discourse , dbc:Mathematical_notation , dbr:Mathematical_notation , , dbr:Higher-order_functions ; owl:sameAs , . @prefix dbpedia-sv: . dbr:Free_variables_and_bound_variables owl:sameAs dbpedia-sv:Fria_och_bundna_variabler . @prefix wikidata: . dbr:Free_variables_and_bound_variables owl:sameAs wikidata:Q935944 . @prefix dbpedia-de: . dbr:Free_variables_and_bound_variables owl:sameAs dbpedia-de:Freie_Variable_und_gebundene_Variable , , , , , . @prefix dbpedia-es: . dbr:Free_variables_and_bound_variables owl:sameAs dbpedia-es:Variable_libre_y_variable_ligada , , . @prefix dbp: . @prefix dbt: . dbr:Free_variables_and_bound_variables dbp:wikiPageUsesTemplate dbt:Redirect-distinguish , , dbt:Sfn , dbt:Refimprove , dbt:Calculus_topics , dbt:Reflist , dbt:Expand_section , dbt:Short_description , dbt:For , dbt:Cite_book ; dbo:thumbnail ; dbo:abstract "\u5728\u6570\u5B66\u548C\u5176\u4ED6\u6D89\u53CA\u5F62\u5F0F\u8BED\u8A00\u7684\u5B66\u79D1\u4E2D\uFF0C\u5305\u62EC\u6570\u7406\u903B\u8F91\u548C\u8BA1\u7B97\u673A\u79D1\u5B66\uFF0C\u81EA\u7531\u53D8\u91CF\u662F\u5728\u8868\u8FBE\u5F0F\u4E2D\u7528\u4E8E\u8868\u793A\u4E00\u4E2A\u4F4D\u7F6E\u6216\u4E00\u4E9B\u4F4D\u7F6E\u7684\u7B26\u53F7\uFF0C\u67D0\u4E9B\u660E\u786E\u7684\u53EF\u4EE5\u5728\u5176\u4E2D\u53D1\u751F\uFF0C\u6216\u67D0\u4E9B\u8FD0\u7B97\uFF08\u6BD4\u5982\u603B\u548C\u6216\u91CF\u5316\uFF09\u53EF\u4EE5\u5728\u5176\u4E0A\u53D1\u751F\u3002\u8FD9\u4E2A\u6982\u5FF5\u6709\u5173\u4E8E\u5360\u4F4D\u7B26\uFF08\u5B83\u662F\u4EE5\u540E\u4F1A\u88AB\u6240\u66FF\u6362\uFF09\uFF0C\u6216\u8868\u793A\u672A\u6307\u5B9A\u7B26\u53F7\u7684\u901A\u914D\u7B26\uFF0C\u4F46\u66F4\u52A0\u6DF1\u5165\u548C\u590D\u6742\u3002 \u53D8\u91CFx\u6210\u4E3A\u7EA6\u675F\u53D8\u91CF\uFF0C\u6BD4\u5982 \u5BF9\u4E8E\u6240\u6709 x\uFF0C(x + 1)2 = x2 + 2x + 1\u3002 \u6216 \u5B58\u5728x\uFF0C\u4F7F\u5F97 x2 = 2\u3002 \u5728\u4EFB\u4F55\u8FD9\u79CD\u547D\u9898\u4E2D\uFF0C\u662F\u5426\u4F7F\u7528x\u6216\u5176\u4ED6\u4EC0\u4E48\u5B57\u6BCD\u5728\u903B\u8F91\u4E0A\u4E0D\u91CD\u8981\u3002\u4F46\u662F\uFF0C\u5728\u590D\u5408\u547D\u9898\u7684\u5176\u4ED6\u5730\u65B9\u518D\u6B21\u4F7F\u7528\u540C\u4E00\u4E2A\u5B57\u6BCD\u53EF\u80FD\u5BFC\u81F4\u51B2\u7A81\u3002\u5C31\u662F\u8BF4\uFF0C\u81EA\u7531\u53D8\u91CF\u53D8\u6210\u4E86\u7EA6\u675F\u7684\uFF0C\u5E76\u5728\u652F\u6301\u516C\u5F0F\u7684\u683C\u5F0F\u5316\u7684\u8FDB\u4E00\u6B65\u5DE5\u4F5C\u4E2D\u5728\u67D0\u79CD\u610F\u4E49\u4E0A\u201C\u9000\u4F11\u201D\u4E86\u3002"@zh , "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. In computer programming, the term free variable refers to variables used in a function that are neither local variables nor parameters of that function. The term non-local variable is often a synonym in this context. A bound variable, in contrast, is a variable that has been bound to a specific value or range of values in the domain of discourse or universe. This may be achieved through the use of logical quantifiers, variable-binding operators, or an explicit statement of allowed values for the variable (such as, \"\u2026where is a positive integer\".) Examples are given in the next section. However it is done, the variable ceases to be an independent variable on which the value of the expression depends, whether that value be a truth value or the numerical result of a calculation, or, more generally, an element of an image set of a function. Note that while the domain of discourse in many contexts is understood, when an explicit range of values for the bound variable has not been given, it may be necessary to specify the domain in order to properly evaluate the expression. For example, consider the following expression in which both variables are bound by logical quantifiers: This expression evaluates to false if the domain of and is the real numbers, but true if the domain is the complex numbers. The term \"dummy variable\" is also sometimes used for a bound variable (more commonly in general mathematics than in computer science), but this should not be confused with the identically named but unrelated concept of dummy variable as used in statistics, most commonly in regression analysis."@en , "\u0412 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0446\u0456 \u0442\u0430 \u0432 \u0456\u043D\u0448\u0438\u0445 \u0434\u0438\u0441\u0446\u0438\u043F\u043B\u0456\u043D\u0430\u0445, \u044F\u043A\u0456 \u0432\u043A\u043B\u044E\u0447\u0430\u044E\u0442\u044C \u0432 \u0441\u0435\u0431\u0435 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0456 \u043C\u043E\u0432\u0438, \u0432\u043A\u043B\u044E\u0447\u043D\u043E \u0437 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u044E \u043B\u043E\u0433\u0456\u043A\u043E\u044E \u0456 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u043E\u044E, \u0432\u0456\u043B\u044C\u043D\u0430 \u0437\u043C\u0456\u043D\u043D\u0430 \u0446\u0435 \u0432\u0438\u0434 \u0437\u0430\u043F\u0438\u0441\u0443, \u044F\u043A\u0438\u0439 \u0432\u0438\u0437\u043D\u0430\u0447\u0430\u0454 \u043C\u0456\u0441\u0446\u044F \u0432 \u0432\u0438\u0440\u0430\u0437\u0456 \u0434\u0435 \u043C\u043E\u0436\u0443\u0442\u044C \u0432\u0456\u0434\u0431\u0443\u0442\u0438\u0441\u044C \u0437\u0430\u043C\u0456\u043D\u0438. \u0406\u0434\u0435\u044F \u043F\u043E\u0432'\u044F\u0437\u0430\u043D\u0430 \u0456\u0437 \u043F\u043E\u0437\u043D\u0430\u0447\u043A\u043E\u044E-\u0437\u0430\u043F\u043E\u0432\u043D\u044E\u0432\u0430\u0447\u0435\u043C (\u0430\u043D\u0433\u043B. placeholder) (\u0441\u0438\u043C\u0432\u043E\u043B, \u044F\u043A\u0438\u0439 \u043F\u0456\u0437\u043D\u0456\u0448\u0435 \u0431\u0443\u0434\u0435 \u0437\u0430\u043C\u0456\u043D\u0435\u043D\u0438\u0439 \u043D\u0430 \u0440\u044F\u0434\u043E\u043A), \u0430\u0431\u043E \u0431\u0430\u0439\u0434\u0443\u0436\u0438\u0439 \u0441\u0438\u043C\u0432\u043E\u043B \u044F\u043A\u0438\u0439 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0454\u0442\u044C\u0441\u044F \u0434\u043B\u044F \u043D\u0435\u0432\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043E\u0433\u043E \u0441\u0438\u043C\u0432\u043E\u043B\u0443. \u0417\u043C\u0456\u043D\u043D\u0430 x \u0441\u0442\u0430\u0454 \u0437\u0432'\u044F\u0437\u0430\u043D\u043E\u044E \u0437\u043C\u0456\u043D\u043D\u043E\u044E, \u043A\u043E\u043B\u0438 \u043C\u0438 \u043F\u0438\u0448\u0435\u043C\u043E, \u043D\u0430\u043F\u0440\u0438\u043A\u043B\u0430\u0434: '\u0414\u043B\u044F \u0432\u0441\u0456\u0445 x, (x + 1)2 = x2 + 2x + 1.' \u0430\u0431\u043E '\u0406\u0441\u043D\u0443\u0454 x \u0442\u0430\u043A\u0438\u0439, \u0449\u043E x2 = 2.' \u0414\u043B\u044F \u0431\u0443\u0434\u044C-\u044F\u043A\u043E\u0433\u043E \u0437 \u0446\u0438\u0445 \u0441\u0443\u0434\u0436\u0435\u043D\u044C, \u043B\u043E\u0433\u0456\u0447\u043D\u043E \u043D\u0435 \u0432\u0430\u0436\u043B\u0438\u0432\u043E \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u0454\u043C\u043E \u043C\u0438 x \u0430\u0431\u043E \u0456\u043D\u0448\u0438\u0439 \u0441\u0438\u043C\u0432\u043E\u043B. \u0412 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u0456, \u0432\u0456\u043B\u044C\u043D\u0430 \u0437\u043C\u0456\u043D\u043D\u0430 \u0446\u0435 \u0437\u043C\u0456\u043D\u043D\u0430 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u043D\u0430 \u0432 \u043F\u0456\u0434\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0456, \u044F\u043A\u0430 \u043D\u0435 \u0454 \u043B\u043E\u043A\u0430\u043B\u044C\u043D\u043E\u044E \u0437\u043C\u0456\u043D\u043D\u043E\u044E \u0430\u0431\u043E \u0430\u0440\u0433\u0443\u043C\u0435\u043D\u0442\u043E\u043C."@uk , "\u0641\u064A \u0627\u0644\u0631\u064A\u0627\u0636\u064A\u0627\u062A\u060C \u0648\u0645\u062C\u0627\u0644\u0627\u062A \u0623\u062E\u0631\u0649 \u0628\u0645\u0627 \u0641\u064A\u0647\u0627 \u0627\u0644\u0644\u063A\u0627\u062A \u0627\u0644\u0631\u0633\u0645\u064A\u0629\u060C \u062A\u062A\u0636\u0645\u0646 \u0627\u0644\u0645\u0646\u0637\u0642 \u0627\u0644\u0631\u064A\u0627\u0636\u064A \u0648\u0639\u0644\u0645 \u0627\u0644\u062D\u0627\u0633\u0648\u0628\u060C \u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u062D\u0631 \u0647\u0648 \u0631\u0645\u0632 \u064A\u062D\u062F\u062F \u0645\u0648\u0636\u0639 \u0641\u064A \u0627\u0644\u062A\u0639\u0628\u064A\u0631 \u0627\u0644\u062C\u0628\u0631\u064A \u0627\u0644\u0630\u064A \u064A\u0645\u0643\u0646 \u062A\u0639\u0648\u064A\u0636 \u0642\u064A\u0645 \u0628\u062F\u0644 \u0645\u0646\u0647 \u0648\u0647\u0648 \u0644\u064A\u0633 \u0648\u0633\u064A\u0637 \u0644\u0647\u0630\u0627 \u0627\u0644\u062A\u0639\u0628\u064A\u0631 \u0623\u0648 \u0623\u064A \u062A\u0639\u0628\u064A\u0631\u0627\u062A \u062C\u0628\u0631\u064A\u0629 \u0623\u062E\u0631\u0649. \u0641\u064A \u0628\u0639\u0636 \u0627\u0644\u0643\u062A\u0628 \u0627\u0644\u0642\u062F\u064A\u0645\u0629 \u064A\u064F\u0633\u062A\u062E\u062F\u0645 \u0645\u0635\u0637\u0644\u062D \u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u062D\u0642\u064A\u0642\u064A \u0648\u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u0648\u0627\u0636\u062D \u0644\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u062D\u0631 \u0648\u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u0645\u064F\u0642\u064A\u062F \u0639\u0644\u0649 \u0627\u0644\u062A\u0648\u0627\u0644\u064A. \u0647\u0630\u0647 \u0627\u0644\u0641\u0643\u0631\u0629 \u0645\u0631\u062A\u0628\u0637\u0629 \u0628\u0631\u0645\u0632 \u0627\u0644\u0631\u064A\u0627\u0636\u064A (\u0631\u0645\u0632 \u0633\u0648\u0641 \u064A\u062A\u0645 \u0627\u0633\u062A\u0628\u062F\u0627\u0644\u0647 \u0641\u064A\u0645\u0627 \u0628\u0639\u062F \u0628\u0642\u064A\u0645\u0629 \u0645\u0627) \u0623\u0648 \u0627\u0644\u0639\u0646\u0627\u0635\u0631 \u0627\u0644\u0646\u0627\u0626\u0628\u0629 \u0627\u0644\u062A\u064A \u062A\u0645\u062B\u0644 \u0631\u0645\u0632 \u063A\u064A\u0631 \u0645\u062D\u062F\u062F. \u0641\u064A \u0628\u0631\u0645\u062C\u0629 \u0627\u0644\u062D\u0627\u0633\u0648\u0628\u060C \u0645\u0635\u0637\u0644\u062D \u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u062D\u0631 \u064A\u062F\u0644 \u0639\u0644\u0649 \u0627\u0644\u0645\u062A\u063A\u064A\u0631\u0627\u062A \u0627\u0644\u062A\u064A \u062A\u0633\u062A\u062E\u062F\u0645 \u0641\u064A \u0643\u062A\u0627\u0628\u0629 \u0627\u0644\u0648\u0638\u064A\u0641\u0629 \u0633\u0648\u0627\u0621 \u0643\u0627\u0646\u062A \u0645\u062A\u063A\u064A\u0631\u0627\u062A \u0645\u062D\u0644\u064A\u0629 \u0623\u0648 \u0645\u0639\u0627\u0645\u0644\u0627\u062A \u0627\u0644\u0648\u0638\u064A\u0641\u0629. \u0645\u0635\u0637\u0644\u062D \u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u063A\u064A\u0631 \u0645\u062D\u0644\u064A (\u0627\u0644\u0639\u0627\u0645) \u064A\u0643\u0648\u0646 \u0627\u062D\u064A\u0627\u0646\u064B\u0627 \u0645\u0631\u0627\u062F\u0641\u064B\u0627 \u0641\u064A \u0647\u0630\u0627 \u0627\u0644\u0633\u064A\u0627\u0642. \u0627\u0644\u0645\u062A\u063A\u064A\u0631\u0627\u062A \u0627\u0644\u0645\u064F\u0642\u064A\u062F\u0629 \u0647\u064A \u0645\u062A\u063A\u064A\u0631\u0627\u062A \u0643\u0627\u0646\u062A \u062D\u0631\u0629 \u0633\u0627\u0628\u0642\u064B\u0627 \u0644\u0643\u0646\u0647\u0627 \u0623\u0635\u0628\u062D\u062A \u0645\u064F\u0642\u064A\u062F\u0629 \u0628\u0642\u064A\u0645\u0629 \u0645\u0639\u064A\u0646\u0629 \u0623\u0648 \u0645\u062C\u0645\u0648\u0639\u0629 \u0645\u0646 \u0627\u0644\u0642\u064A\u0645 \u062A\u0633\u0645\u0649 \u0627\u0644\u0645\u062C\u0627\u0644 \u0623\u0648 \u0627\u0644\u0645\u062C\u062A\u0645\u0639. \u0645\u062B\u0627\u0644 \u0633 \u0623\u0635\u0628\u062D \u0645\u0642\u064A\u062F\u064B\u0627 \u0639\u0646\u062F\u0645\u0627 \u0643\u064F\u062A\u0628 \u0628\u0627\u0644\u0637\u0631\u064A\u0642\u0629 \u0627\u0644\u062A\u0627\u0644\u064A\u0629: \u0644\u0643\u0644 x, (x + 1)2 = x2 + 2x + 1 \u0623\u0648 \u064A\u0648\u062C\u062F x \u0628\u062D\u064A\u062B x2 = 2. \u0641\u064A \u0623\u064A \u0645\u0646 \u0627\u0644\u0623\u0645\u062B\u0644\u0629 \u0644\u064A\u0633 \u0645\u0647\u0645\u064B\u0627 \u0645\u0646\u0637\u0642\u064A\u064B\u0627 \u0625\u0630\u0627 \u0643\u0627\u0646\u062A \u0633 \u0623\u0648 \u0623\u064A \u0631\u0645\u0632 \u0627\u062E\u0631\u060C \u0644\u0643\u0646 \u0642\u062F \u064A\u0643\u0648\u0646 \u0645\u0631\u0628\u0643\u064B\u0627 \u0627\u0633\u062A\u062E\u062F\u0627\u0645 \u0646\u0641\u0633 \u0631\u0645\u0632 \u0641\u064A \u0627\u0644\u0645\u062B\u0627\u0644 \u0627\u0644\u0645\u0631\u0643\u0628. \u0647\u0630\u0627 \u0643\u064A\u0641 \u064A\u0635\u0628\u062D \u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u062D\u0631 \u0645\u0642\u064A\u062F\u064B\u0627 \u0648\u0645\u0646 \u062B\u0645 \u0628\u0627\u0644\u0645\u0646\u0637\u0642 \u064A\u062A\u063A\u064A\u0631 \u0645\u0646 \u0643\u0648\u0646\u0647 \u0645\u062A\u0648\u0641\u0631 \u0643\u0623\u0633\u0627\u0633 \u0641\u064A \u0627\u0644\u0642\u064A\u0645 \u0644\u0644\u0642\u064A\u0645 \u0627\u0644\u0623\u062E\u0631\u0649 \u0641\u064A \u0625\u0646\u0634\u0627\u0621 \u0627\u0644\u0635\u064A\u063A. \u0645\u0635\u0637\u0644\u062D \u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u0648\u0647\u0645\u064A \u064A\u0637\u0644\u0642 \u0623\u062D\u064A\u0627\u0646\u064B\u0627 \u0639\u0644\u0649 \u0627\u0644\u0645\u062A\u063A\u064A\u0631 \u0627\u0644\u0645\u064F\u0642\u064A\u062F)\u0623\u063A\u0644\u0628 \u0627\u0644\u0627\u062D\u064A\u0627\u0646 \u0641\u064A \u0627\u0644\u0631\u064A\u0627\u0636\u064A\u0627\u062A \u0623\u0643\u062B\u0631 \u0645\u0646 \u0639\u0644\u0648\u0645 \u0627\u0644\u062D\u0627\u0633\u0648\u0628) \u0644\u0643\u0646 \u0627\u0633\u062A\u062E\u062F\u0627\u0645 \u0647\u0630\u0627 \u0627\u0644\u0645\u0635\u0637\u0644\u062D \u0642\u062F \u064A\u062E\u0644\u0642 \u0627\u0644\u062A\u0628\u0627\u0633 \u0645\u0639 \u0645\u0641\u0647\u0648\u0645 \u0627\u0644\u0645\u062A\u063A\u064A\u0631\u0627\u062A \u0627\u0644\u0648\u0647\u0645\u064A\u0629 \u0641\u064A \u062A\u062D\u0644\u064A\u0644 \u0627\u0644\u062A\u0631\u0627\u062C\u0639."@ar , "En las matem\u00E1ticas y en otras disciplinas que involucran lenguajes formales, incluidas la l\u00F3gica matem\u00E1tica y la inform\u00E1tica, una variable libre es una notaci\u00F3n (un s\u00EDmbolo) que espec\u00EDfica lugares en una expresi\u00F3n donde una sustituci\u00F3n puede producirse y no es un par\u00E1metro de esta o cualquier expresi\u00F3n contenedora. Algunos libros antiguos usan t\u00E9rminos como variable real y variable aparente para referirse a variables libres y variables ligadas, respectivamente. La idea es relacionar a un marcador de posici\u00F3n (un s\u00EDmbolo que despu\u00E9s ser\u00E1 reemplazado por alg\u00FAn valor) o un car\u00E1cter comod\u00EDn que representa un s\u00EDmbolo no especificado. En programaci\u00F3n, el t\u00E9rmino variable libre hace referencia a variables usadas en una funci\u00F3n que no son variables locales ni par\u00E1metros de esa funci\u00F3n. El t\u00E9rmino variable no local es a menudo un sin\u00F3nimo en este contexto. Una variable ligada es una variable que anteriormente estaba libre, pero que ha sido ligada a un valor espec\u00EDfico o conjunto de valores llamado dominio de discurso o universo. Por ejemplo, la variable x se convierte en una variable ligada cuando escribimos: Para todo x, (x + 1)2 = x2 + 2x + 1. o Existe un x tal que x2 = 2. En cualquiera de estas proposiciones, no importa l\u00F3gicamente si se usa x o cualquier otra letra. Sin embargo, puede ser confuso volver a usar la misma letra en otra parte de alguna proposici\u00F3n compuesta. Es decir, las variables libres se pueden convertir en ligadas y, en cierto sentido, dejan de estar disponibles como valores sustitutos para otros valores en la creaci\u00F3n de f\u00F3rmulas. El t\u00E9rmino \"variable ficticia\" se utiliza tambi\u00E9n, a veces, para una variable ligada (m\u00E1s com\u00FAn en matem\u00E1ticas generales que en inform\u00E1tica), pero ese uso puede crear una ambig\u00FCedad con la definici\u00F3n de variables ficticias en el an\u00E1lisis de regresi\u00F3n."@es , "Inom matematiken, och andra relaterade omr\u00E5den, s\u00E5som predikatlogik, \u00E4r en fri variabel ett ospecificerat uttryck, s\u00E5som x, f\u00F6r vilken inga restriktioner lagts. Om n\u00E5gra restriktioner har lagts p\u00E5 variabeln kallas den bunden. Notera att ett uttryck kan inneh\u00E5lla b\u00E5de fria och bundna variabler. Som exempel kan vi titta p\u00E5 definitionen av derivata: H\u00E4r \u00E4r x en fri variabel emedan h \u00E4r bunden. V\u00E4rdet av detta gr\u00E4nsv\u00E4rde beror enbart p\u00E5 funktionen f och variabeln x. Variabeln h \u00E4r betecknar ett uttryck som g\u00E5r mot ett best\u00E4mt v\u00E4rde, 0, bunden till sj\u00E4lva formeln. Vi kan byta ut funktionen f och v\u00E4lja valfri punkt x att ber\u00E4kna gr\u00E4nsv\u00E4rdet i, men h \u00E4r ingenting vi kan v\u00E4lja. Den variabeln definieras i formeln och saknar betydelse utanf\u00F6r den."@sv , "( \uC885\uC18D \uBCC0\uC218\uB294 \uC5EC\uAE30\uB85C \uC5F0\uACB0\uB429\uB2C8\uB2E4. \uD568\uC218\uC758 \uC815\uC758\uC5ED\uC758 \uC6D0\uC18C\uB97C \uB098\uD0C0\uB0B4\uB294 \uBCC0\uC218\uC5D0 \uB300\uD574\uC11C\uB294 \uB3C5\uB9BD \uBCC0\uC218\uC640 \uC885\uC18D \uBCC0\uC218 \uBB38\uC11C\uB97C \uCC38\uACE0\uD558\uC2ED\uC2DC\uC624.) \uB17C\uB9AC\uD559\uACFC \uCEF4\uD4E8\uD130 \uACFC\uD559\uC5D0\uC11C \uC790\uC720 \uBCC0\uC218(\u81EA\u7531\u8B8A\u6578, \uC601\uC5B4: free variable)\uB294 \uC218\uC2DD \uC18D\uC758 \uBCC0\uC218 \uAC00\uC6B4\uB370 \uC0C1\uC22B\uAC12\uC73C\uB85C \uCE58\uD658\uD560 \uC218 \uC788\uB294 \uAC83\uC774\uB2E4. \uBC18\uB300\uB85C \uC885\uC18D \uBCC0\uC218(\u5F9E\u5C6C\u8B8A\u6578, \uC601\uC5B4: bound variable)\uB294 \uC0C1\uC22B\uAC12\uC73C\uB85C \uCE58\uD658\uD558\uC600\uC744 \uB54C \uC218\uC2DD\uC774 \uBCF8\uB798\uC758 \uC758\uBBF8\uB97C \uC783\uAC8C \uB418\uB294 \uBCC0\uC218\uC774\uB2E4. \uC885\uC18D \uBCC0\uC218 \uB300\uC2E0 \uAC00\uBCC0\uC218(\u5047\u8B8A\u6578, \uC601\uC5B4: dummy variable)\uB77C\uACE0\uB3C4 \uD558\uB098, \uC774\uB294 \uD68C\uADC0 \uBD84\uC11D\uC758 \uC6A9\uC5B4\uB85C\uC11C \uB354 \uB9CE\uC774 \uC4F0\uC778\uB2E4. \uCEF4\uD4E8\uD130 \uD504\uB85C\uADF8\uB798\uBC0D\uC5D0\uC11C \uC790\uC720 \uBCC0\uC218\uB294 \uC804\uC5ED \uBCC0\uC218, \uC885\uC18D \uBCC0\uC218\uB294 \uC9C0\uC5ED \uBCC0\uC218\uB97C \uAC00\uB9AC\uD0A8\uB2E4. \uC774 \uACBD\uC6B0, \uC790\uC720 \uBCC0\uC218\uB294 \uB300\uB7B5 \uD568\uC218\uC758 \uBC14\uAE65\uC5D0\uC11C \uC815\uC758\uB41C \uBCC0\uC218\uB97C \uB73B\uD55C\uB2E4."@ko , "\u6570\u5B66\u3084\u5F62\u5F0F\u8A00\u8A9E\u306B\u95A2\u9023\u3059\u308B\u5206\u91CE\uFF08\u6570\u7406\u8AD6\u7406\u5B66\u3068\u8A08\u7B97\u6A5F\u79D1\u5B66\uFF09\u306B\u304A\u3044\u3066\u3001\u81EA\u7531\u5909\u6570\uFF08\u307E\u305F\u306F\u81EA\u7531\u5909\u9805\u3001\u82F1: free variable\uFF09\u306F\u6570\u5F0F\u3084\u8AD6\u7406\u5F0F\u3067\u7F6E\u63DB\u304C\u884C\u308F\u308C\u308B\u5834\u6240\u3092\u6307\u793A\u3059\u308B\u8A18\u6CD5\u3067\u3042\u308B\u3002\u3053\u306E\u8003\u3048\u65B9\u306F\u30D7\u30EC\u30FC\u30B9\u30DB\u30EB\u30C0\u30FC\u3084\u30EF\u30A4\u30EB\u30C9\u30AB\u30FC\u30C9\u306B\u3082\u95A2\u9023\u3059\u308B\u3002 \u5909\u6570x \u306F\u3001\u4F8B\u3048\u3070\u6B21\u306E\u3088\u3046\u306B\u66F8\u304F\u3068 \u675F\u7E1B\u5909\u6570\uFF08\u307E\u305F\u306F\u675F\u7E1B\u5909\u9805\u3001\u82F1: bound variable\uFF09\u306B\u306A\u308B\u3002 \u5168\u3066\u306E \u306B\u3064\u3044\u3066 \u304C\u6210\u308A\u7ACB\u3064\u3002 \u3042\u308B\u3044\u306F \u3068\u306A\u308B\u3088\u3046\u306A \u304C\u5B58\u5728\u3059\u308B\u3002 \u3053\u308C\u3089\u306E\u547D\u984C\u3067\u306F\u3001x \u306E\u4EE3\u308F\u308A\u306B\u5225\u306E\u6587\u5B57\u3092\u4F7F\u3063\u3066\u3082\u8AD6\u7406\u7684\u306B\u306F\u5168\u304F\u5909\u5316\u3057\u306A\u3044\u3002\u3057\u304B\u3057\u3001\u8907\u96D1\u306A\u547D\u984C\u3067\u540C\u3058\u6587\u5B57\u3092\u5225\u306E\u610F\u5473\u3067\u518D\u5229\u7528\u3059\u308B\u3068\u6DF7\u4E71\u304C\u751F\u3058\u308B\u3002\u3059\u306A\u308F\u3061\u3001\u81EA\u7531\u5909\u6570\u304C\u675F\u7E1B\u3055\u308C\u308B\u3068\u3001\u3042\u308B\u610F\u5473\u3067\u306F\u305D\u306E\u5F8C\u306E\u6570\u5F0F\u306E\u69CB\u6210\u3092\u30B5\u30DD\u30FC\u30C8\u3059\u308B\u4F5C\u696D\u306B\u95A2\u4E0E\u3057\u306A\u304F\u306A\u308B\u3002 \u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u306B\u304A\u3044\u3066\u306F\u3001\u81EA\u7531\u5909\u6570\u3068\u306F\u95A2\u6570\u306E\u4E2D\u3067\u53C2\u7167\u3055\u308C\u308B\u5C40\u6240\u5909\u6570\u3084\u5F15\u6570\u4EE5\u5916\u306E\u5909\u6570\u3092\u610F\u5473\u3059\u308B\u3002"@ja , "Em programa\u00E7\u00E3o de computadores, uma vari\u00E1vel livre \u00E9 uma vari\u00E1vel referenciada em uma fun\u00E7\u00E3o, que n\u00E3o \u00E9 nem uma nem um argumento daquela fun\u00E7\u00E3o. Em matem\u00E1tica, e em outras disciplinas envolvendo linguagens formais, incluindo a l\u00F3gica matem\u00E1tica e a ci\u00EAncia da computa\u00E7\u00E3o, uma vari\u00E1vel livre \u00E9 uma nota\u00E7\u00E3o que especifica posi\u00E7\u00F5es (lacunas) em uma express\u00E3o onde a pode ocorrer. A ideia est\u00E1 relacionada a um marcador de posi\u00E7\u00E3o (tal como a lacuna de um formul\u00E1rio) ou a um caractere curinga que representa um s\u00EDmbolo n\u00E3o especificado. Exemplo: podemos convencionar que asterisco (*) em \"Ol\u00E1 *!\" \u00E9 um s\u00EDmbolo-coringa, sendo substitu\u00EDdo livremente por \"mundo\" (resultando em \"Ol\u00E1 mundo!\"); por \"gente\", (resultando em \"Ol\u00E1 gente!\") ou qualquer outra palavra. A vari\u00E1vel x passa a ser uma vari\u00E1vel ligada (ou muda), quando escrevemos, por exemplo: 'Para todo x, (x + 1)2 = x2 + 2x + 1.' ou 'Existe x tal que x2 = 2.' Em ambas proposi\u00E7\u00F5es, n\u00E3o importa logicamente se usamos x ou alguma outra letra. No entanto, ao optarmos por usar x estamos concordando em n\u00E3o mais usar esta letra para representar um valor espec\u00EDfico, ao menos naquela parte da f\u00F3mula em que ela \u00E9 ligada. Em outras palavras, uma vari\u00E1vel livre perde sua capacidade de indicar valores determinados ao tornar-se ligada."@pt , "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. Zum Beispiel ist in der Pr\u00E4dikatenlogik eine Individuenvariable in einer pr\u00E4dikatenlogischen 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 ( oder ) und nur innerhalb seines Bindungsbereichs verwendete Variable hei\u00DFt gebunden. In der Pr\u00E4dikatenlogik wird eine geschlossene Formel, das hei\u00DFt eine Formel ohne freie Variablen, auch Aussage oder Satz genannt; eine offene Formel, das hei\u00DFt 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\u00FCr die Bereinigung von Formeln ben\u00F6tigt. Gebundene Variablen kommen stets bei der Notation von Klassen und Mengen vor, die in der Mathematik \u00FCberall gebraucht werden. Ebenso kommen sie vor beim Lambda-Kalk\u00FCl und bei Ausdr\u00FCcken mit einer gebundenen Integrationsvariable oder Summationsvariablen sowie bei Kennzeichnungen."@de . @prefix gold: . dbr:Free_variables_and_bound_variables gold:hypernym dbr:Notation . @prefix prov: . dbr:Free_variables_and_bound_variables prov:wasDerivedFrom . @prefix xsd: . dbr:Free_variables_and_bound_variables dbo:wikiPageLength "14469"^^xsd:nonNegativeInteger . @prefix wikipedia-en: . dbr:Free_variables_and_bound_variables foaf:isPrimaryTopicOf wikipedia-en:Free_variables_and_bound_variables .