dbo:abstract
|
- In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language. For instance, in the sentence Let A and B be two sentences of a language ℒ the symbols A and B are part of the metalanguage in which the statement about the object language ℒ is formulated. John Corcoran considers this terminology unfortunate because it obscures the use of schemata and because such "variables" do not actually range over a domain. The convention is that a metavariable is to be uniformly substituted with the same instance in all its appearances in a given schema. This is in contrast with nonterminal symbols in formal grammars where the nonterminals on the right of a production can be substituted by different instances. Attempts to formalize the notion of metavariable result in some kind of type theory. (en)
- En logique, une métavariable (aussi nommée variable métalinguistique ou encore variable syntaxique) est un symbole ou une chaîne de symboles qui appartient à un métalangage et représente des éléments d'un certain langage objet. Par exemple, dans la phrase Soit A et B deux phrases d'un langage ℒ les symboles A et B font partie du métalangage dans lequel l'énoncé sur le langage objet ℒ est formulé. (en) considère cette terminologie malheureuse parce qu'elle masque l'utilisation des et parce que ces « variables » ne s'étendent pas réellement sur un domaine. Les tentatives de formalisation de la notion de métavariable ont abouti à une sorte de théorie des types. (fr)
- Em lógica, uma metavariável (também conhecida como variável metalinguística ou variável sintática) é um símbolo ou string de símbolos que pertence a uma metalinguagem e se aplica a elementos de alguma linguagem objeto. Por exemplo, na sentença: Sejam A e B duas sentenças de uma linguagem ℒ os símbolos A e B são parte de uma metalinguagem na qual a afirmação sobre a linguagem objeto ℒ é formulada. John Corcoran considera esta terminologia infeliz porque ela obscurece o uso da forma lógica (schemata) e porque tais "variáveis" não valem realmente para todo o domínio. A convenção é que uma metavariável é uniformemente substituída com a mesma instância em todas as suas aparições em um dado schema. Isto em contraste com símbolos não-terminais em gramáticas formais onde os não-terminais à direita de uma produção podem ser substituídos por diferentes instâncias. Tentativas de formalizar a noção de metavariável resultam em algum tipo de teoria dos tipos. Na computação, frequentemente se é necessário especificar e documentar a sintaxe e a semântica de uma linguagem de programação, de forma mais ou menos formal. Um termo comumente utilizado para metavariável nesta área é "variável metassintática". Mais além, devido à prática da cultura hacker de se fazer uso de palavras aleatórias como "foo" como metavariáveis, o termo "variável metassintática" veio a denotar tais palavras por sí só; por exemplo, "foo" é referido como "a primeira variável metasintática" na primeira edição do Dicionário do Hacker. (pt)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3031 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dct:subject
| |
gold:hypernym
| |
rdf:type
| |
rdfs:comment
|
- In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language. For instance, in the sentence Let A and B be two sentences of a language ℒ the symbols A and B are part of the metalanguage in which the statement about the object language ℒ is formulated. John Corcoran considers this terminology unfortunate because it obscures the use of schemata and because such "variables" do not actually range over a domain. (en)
- En logique, une métavariable (aussi nommée variable métalinguistique ou encore variable syntaxique) est un symbole ou une chaîne de symboles qui appartient à un métalangage et représente des éléments d'un certain langage objet. Par exemple, dans la phrase Soit A et B deux phrases d'un langage ℒ les symboles A et B font partie du métalangage dans lequel l'énoncé sur le langage objet ℒ est formulé. (en) considère cette terminologie malheureuse parce qu'elle masque l'utilisation des et parce que ces « variables » ne s'étendent pas réellement sur un domaine. (fr)
- Em lógica, uma metavariável (também conhecida como variável metalinguística ou variável sintática) é um símbolo ou string de símbolos que pertence a uma metalinguagem e se aplica a elementos de alguma linguagem objeto. Por exemplo, na sentença: Sejam A e B duas sentenças de uma linguagem ℒ os símbolos A e B são parte de uma metalinguagem na qual a afirmação sobre a linguagem objeto ℒ é formulada. John Corcoran considera esta terminologia infeliz porque ela obscurece o uso da forma lógica (schemata) e porque tais "variáveis" não valem realmente para todo o domínio. (pt)
|
rdfs:label
|
- Métavariable (fr)
- Metavariable (en)
- Metavariável (pt)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |