| 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)
- In logic, syntax is anything having to do with formal languages or formal systems without regard to any interpretation or meaning given to them. Syntax is concerned with the rules used for constructing, or transforming the symbols and words of a language, as contrasted with the semantics of a language which is concerned with its meaning. The symbols, formulas, systems, theorems, proofs, and interpretations expressed in formal languages are syntactic entities whose properties may be studied without regard to any meaning they may be given, and, in fact, need not be given any. Syntax is usually associated with the rules (or grammar) governing the composition of texts in a formal language that constitute the well-formed formulas of a formal system. In computer science, the term syntax refers to the rules governing the composition of well-formed expressions in a programming language. As in mathematical logic, it is independent of semantics and interpretation. (en)
- In de logica verwijst de syntaxis naar de regels voor het opstellen van een in een formele taal geschreven tekst om binnen een logisch systeem goedgevormde formules op te stellen. Deze definiëring wordt in de filosofie gebruikt om ingewikkelde stellingen af te leiden uit meer simpele stellingen. Bij het geven van logische interpretaties heeft het geen zin om betekenis, semantiek toe te kennen aan in formele taal geschreven teksten die niet uit goedgevormde formules zijn opgebouwd. Samen met de semantiek en de pragmatiek vormt de syntaxis een traditionele driedeling in de semiotiek. (nl)
- Синтаксис (в логике) (логический синтаксис) — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно. Обычно противопоставляется семантике (разделу формальной логики, изучающему те условия, при которых правильно построенные выражения имеют некоторое логическое значение). В последней четверти XX века (под влиянием работ Р. Монтегю, Д. Скота и др.) указанное бинарное противопоставление уступило место тернарному. Синтаксис и семантика противопоставляются прагматике — разделу формальной логики, изучающему зависимость логического значения правильных осмысленных выражений от логического значения прагматических переменных, выражаемых «индексальными» элементами (то есть элементами я, ты, здесь, сейчас). (ru)
- Em lógica, o termo sintaxe refere-se às regras que regem a composição dos textos em uma linguagem formal que constitui as fórmulas bem formadas de um sistema lógico. Ao fornecer uma interpretação, não faz sentido atribuir um significado para textos que não são fórmulas bem formadas. Na ciência da computação, o termo refere-se às regras que regem a composição de textos com significado em uma linguagem formal, tal como uma linguagem de programação, isto é, os textos para os quais faz sentido definir a semântica ou significado, ou fornecer uma interpretação. (pt)
|
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10154 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- In de logica verwijst de syntaxis naar de regels voor het opstellen van een in een formele taal geschreven tekst om binnen een logisch systeem goedgevormde formules op te stellen. Deze definiëring wordt in de filosofie gebruikt om ingewikkelde stellingen af te leiden uit meer simpele stellingen. Bij het geven van logische interpretaties heeft het geen zin om betekenis, semantiek toe te kennen aan in formele taal geschreven teksten die niet uit goedgevormde formules zijn opgebouwd. Samen met de semantiek en de pragmatiek vormt de syntaxis een traditionele driedeling in de semiotiek. (nl)
- Em lógica, o termo sintaxe refere-se às regras que regem a composição dos textos em uma linguagem formal que constitui as fórmulas bem formadas de um sistema lógico. Ao fornecer uma interpretação, não faz sentido atribuir um significado para textos que não são fórmulas bem formadas. Na ciência da computação, o termo refere-se às regras que regem a composição de textos com significado em uma linguagem formal, tal como uma linguagem de programação, isto é, os textos para os quais faz sentido definir a semântica ou significado, ou fornecer uma interpretação. (pt)
- In logic, syntax is anything having to do with formal languages or formal systems without regard to any interpretation or meaning given to them. Syntax is concerned with the rules used for constructing, or transforming the symbols and words of a language, as contrasted with the semantics of a language which is concerned with its meaning. The symbols, formulas, systems, theorems, proofs, and interpretations expressed in formal languages are syntactic entities whose properties may be studied without regard to any meaning they may be given, and, in fact, need not be given any. (en)
- 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)
- Синтаксис (в логике) (логический синтаксис) — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно. Обычно противопоставляется семантике (разделу формальной логики, изучающему те условия, при которых правильно построенные выражения имеют некоторое логическое значение). (ru)
|
| rdfs:label
|
- Syntax (logic) (en)
- Syntaxe (logique) (fr)
- Syntaxis (logica) (nl)
- Sintaxe (lógica) (pt)
- Синтаксис (логика) (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
