Formal

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Formal, (adj.) relating to an established hierarchy, procedure or set of specific behaviors.

For other uses of form see Form (disambiguation)

For other uses of formalism see Formalism (disambiguation)

Formal may also refer to:

Logic and mathematics[edit]

  • 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

Linguistics[edit]

Chemistry[edit]

Computer science[edit]

  • 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