Syntax (logic)

Syntax (logic)

In logic, syntax comprises the rules governing the composition of texts in a formal language that constitute the properly formed formulas (WFFs) of a logical system. In providing an interpretation, it does not make sense to assign a meaning to texts that are not well-formed formulas.

In computer science, the term syntax refers to the rules governing the composition of meaningful texts in a formal language, such as a programming language, that is, those texts for which it makes sense to define the semantics or meaning, or otherwise provide an interpretation.

ee also

* Formal grammar
* Syntactic consequence
* Syntax (linguistics)
* Mathematical logic


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Syntax (disambiguation) — syntax may refer to: * syntax, set of rules governing how words combine to form grammatical meanings. * Syntax (journal), a Blackwell Publishing journal devoted to natural language syntax. * syntax (logic) * syntax of programming languages *… …   Wikipedia

  • Syntax — Syntactic redirects here. For another meaning of the adjective, see Syntaxis. For other uses, see Syntax (disambiguation). Linguistics …   Wikipedia

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • syntax — [sin′taks΄] n. [Fr syntaxe < LL syntaxis < Gr < syntassein, to join, put together < syn , together + tassein, to arrange: see TAXIS] 1. Now Rare orderly or systematic arrangement 2. Gram. Linguis. a) the arrangement of and… …   English World dictionary

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

  • logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… …   Universalium

  • syntax — /sin taks/, n. 1. Ling. a. the study of the rules for the formation of grammatical sentences in a language. b. the study of the patterns of formation of sentences and phrases from words. c. the rules or patterns so studied: English syntax. d. a… …   Universalium

  • Logic error — In computer programming, a logic error (sometimes called a semantic error) is a bug in a program that causes it to operate incorrectly, but not to terminate abnormally (or crash). A logic error produces unintended or undesired output or other… …   Wikipedia

  • Syntax error — In computer science a syntax error ( IPA: /ˈsɪntæks ɛrə(ɹ)/ ) refers to an error in the syntax of a sequence of characters or tokens that is intended to be written in a particular programming language.If a syntax error is encountered during… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”