Formal
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
Formal, (adj.) relating to an established procedure or set of specific behaviors.
For other uses of form see Form (disambiguation)For other uses of formalism see Formalism (disambiguation)<p> Formal may also refer to:<p>
- Formal (university), a type of ceremonial event at university
- School formal, a type of ceremonial event at school
- Formal wear, clothing for formal occasions
- Informal sector, as opposed to Formal sector, economic activity beyond the purview of government
- A Formality, an established procedure or set of specific behaviors
Contents |
[edit]
Logic and mathematics
- Formal logic, logical argument based on form
- Formal cause, Aristotle's intrinsic, determining cause
- Formal power series, a generalization of power series without requiring convergence, used in combinatorics
- Formal calculation, a calculation which is systematic, but without a rigorous justification
- Formal set theory, as opposed to Naive set theory
- Formal derivative, an operation on elements of a polynomial ring which mimics the form of the derivative from calculus
[edit]
Linguistics
- Formal system, an abstract means of generating inferences in a formal language
- Formal language, comprising the symbolic "words" or "sentences" of a formal system
- Formal grammar, a grammar describing a formal language
- Formal proof, a fully rigorous proof as is possible only in a formal system
- Dynamic and formal equivalence word-for-word translation, especially of the Bible
[edit]
Chemistry
- Formaldehyde, short form for, also formalin
- Dimethoxymethane, a synonym for this
- a quantity similar to molar concentration
[edit]
Computer science
- Formal methods, mathematically-based techniques for the specification, development and verification of software and hardware systems
- Formal specification, describes what a system should do, not how it should do it
- Formal verification, proves correctness of a system
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Formal" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic. See Art and Popular Culture's copyright notice.