About: dbpedia-fr:Métavariable     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
rdfs:label
  • Metavariável (pt)
  • Métavariable (fr)
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)
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
Link from a Wikipage to an external page
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
prop-fr:année
prop-fr:annéePremièreÉdition
prop-fr:art
  • Metavariable (fr)
prop-fr:fr
  • John Corcoran (fr)
prop-fr:id
prop-fr:isbn
prop-fr:journal
  • Bulletin of Symbolic Logic (fr)
prop-fr:lang
  • en (fr)
prop-fr:langue
  • en (fr)
prop-fr:lienAuteur
  • Joseph R. Shoenfield (fr)
  • Geoffrey Hunter (fr)
prop-fr:lieu
  • Natick, Mass. (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Hunter (fr)
  • Corcoran (fr)
  • Shoenfield (fr)
  • Tennent (fr)
prop-fr:pages
prop-fr:pagesTotales
prop-fr:prénom
  • J. (fr)
  • R. D. (fr)
  • Geoffrey (fr)
  • Joseph R. (fr)
prop-fr:sousTitre
  • A Hands-On Introduction (fr)
prop-fr:texte
  • 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)
prop-fr:trad
  • John Corcoran (fr)
prop-fr:volume
prop-fr:éditeur
prop-fr:numéroD'édition
foaf:isPrimaryTopicOf
has 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)
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software