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.

Property Value
dbo: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)
  • 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)
dbo:isPartOf
dbo:thumbnail
dbo:wikiPageID
  • 10104742 (xsd:integer)
dbo:wikiPageLength
  • 8296 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190250042 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:art
  • Syntax (fr)
  • Syntax (fr)
prop-fr:id
  • 709661342 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
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)
  • 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:label
  • Syntaxe (logique) (fr)
  • Syntaxis (logica) (nl)
  • Syntaxe (logique) (fr)
  • Syntaxis (logica) (nl)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of