About: dbpedia-fr:Syntaxe_(logique)     Goto   Sponge   NotDistinct   Permalink

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

AttributesValues
rdfs:label
  • Syntaxe (logique) (fr)
  • Syntaxis (logica) (nl)
rdfs:comment
  • En logique, la syntaxe concerne les règles utilisées pour la construction de symboles et des mots d'un langage, par opposition à la sémantique d'une langue qui concerne sa signification. La syntaxe n'a rien à voir avec les langages formels ou les systèmes formels sans tenir compte de l'interprétation ou du sens qui leur est donné. Les symboles, formules, systèmes, théorèmes, et interprétations exprimées dans un langage formel sont des entités syntaxiques dont les propriétés peuvent être étudiées sans tenir compte du tout sens qu'on peut leur donner. (fr)
rdfs:seeAlso
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Langages_formels.png
prop-fr:art
  • Syntax (fr)
prop-fr:id
prop-fr:lang
  • en (fr)
thumbnail
foaf:isPrimaryTopicOf
has abstract
  • En logique, la syntaxe concerne les règles utilisées pour la construction de symboles et des mots d'un langage, par opposition à la sémantique d'une langue qui concerne sa signification. La syntaxe n'a rien à voir avec les langages formels ou les systèmes formels sans tenir compte de l'interprétation ou du sens qui leur est donné. Les symboles, formules, systèmes, théorèmes, et interprétations exprimées dans un langage formel sont des entités syntaxiques dont les propriétés peuvent être étudiées sans tenir compte du tout sens qu'on peut leur donner. La syntaxe est généralement associée aux règles (ou grammaire) gouvernant la composition des textes dans un langage formel qui constituent les formules bien formées dans un langage de programmation. En informatique, la (en) est un terme qui se réfère aux règles régissant la composition des expressions bien formées dans un langage de programmation. Comme dans la logique mathématique, elle est indépendante de la sémantique et de l'interprétation. (fr)
is part of
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, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software