Property |
Value |
dbo:abstract
|
- 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)
- 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)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2735 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 2001 (xsd:integer)
- 2002 (xsd:integer)
- 2006 (xsd:integer)
|
prop-fr:annéePremièreÉdition
| |
prop-fr:art
|
- Metavariable (fr)
- Metavariable (fr)
|
prop-fr:fr
|
- John Corcoran (fr)
- John Corcoran (fr)
|
prop-fr:id
| |
prop-fr:isbn
| |
prop-fr:journal
|
- Bulletin of Symbolic Logic (fr)
- Bulletin of Symbolic Logic (fr)
|
prop-fr:lang
| |
prop-fr:langue
| |
prop-fr:lienAuteur
|
- Joseph R. Shoenfield (fr)
- Geoffrey Hunter (fr)
- Joseph R. Shoenfield (fr)
- Geoffrey Hunter (fr)
|
prop-fr:lieu
|
- Natick, Mass. (fr)
- Natick, Mass. (fr)
|
prop-fr:lireEnLigne
| |
prop-fr:nom
|
- Hunter (fr)
- Corcoran (fr)
- Shoenfield (fr)
- Tennent (fr)
- Hunter (fr)
- Corcoran (fr)
- Shoenfield (fr)
- Tennent (fr)
|
prop-fr:numéroD'édition
| |
prop-fr:pages
| |
prop-fr:pagesTotales
|
- 289 (xsd:integer)
- 344 (xsd:integer)
|
prop-fr:prénom
|
- J. (fr)
- R. D. (fr)
- Geoffrey (fr)
- Joseph R. (fr)
- J. (fr)
- R. D. (fr)
- Geoffrey (fr)
- Joseph R. (fr)
|
prop-fr:sousTitre
|
- A Hands-On Introduction (fr)
- A Hands-On Introduction (fr)
|
prop-fr:texte
|
- John Corcoran (fr)
- John Corcoran (fr)
|
prop-fr:titre
|
- Mathematical Logic (fr)
- Metalogic : An Introduction to the Metatheory of Standard First-Order Logic (fr)
- Specifying Software (fr)
- Schemata: the Concept of Schema in the History of Logic (fr)
- Mathematical Logic (fr)
- Metalogic : An Introduction to the Metatheory of Standard First-Order Logic (fr)
- Specifying Software (fr)
- Schemata: the Concept of Schema in the History of Logic (fr)
|
prop-fr:trad
|
- John Corcoran (fr)
- John Corcoran (fr)
|
prop-fr:volume
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
| |
dct:subject
| |
rdfs:comment
|
- 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)
- 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)
|
rdfs:label
|
- Metavariável (pt)
- Métavariable (fr)
- Metavariável (pt)
- Métavariable (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |