DEF/formula

Similar terms and concepts expression statement program

A formula, other than a sentence in natural language or an informal notation, has an unambiguous, well-defined meaning: it denotes an object in a mathematical space.

Definition

DEF/formula

a syntactically corect and semantically defined expression in a well-defined →formal language

Explanation

• Rationality

Relations with other concepts

• A formula only has a meaning when the language is known, in which it is written.
• The same text can be a formula in different languages, with the same or different meanings.

Pragmatics

Formula have three purposes:

1. being exact
2. being readable in a certain culture
3. supporting syntactic transformations (calculus)

Examples

{{{examples}}}

Open questions

---

This is a definition from Taxonomy of Computer Science (Hanno Wupper et al. 2008).