Formal

Source: Wikipedia, the free encyclopedia.
(Redirected from
Formal (disambiguation)
)

Formal, formality, informal or informality imply the complying with, or not complying with, some set of requirements (forms, in Ancient Greek). They may refer to:

Dress code and events

  • Formal wear, attire for formal events
  • Semi-formal attire
    , attire for semi-formal events
  • Informal attire
    , more controlled attire than casual but less than formal
  • Formal (university), official university dinner, ball or other event
  • School formal
    , official school dinner, ball or other event

Logic and mathematics

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

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
  • Colloquialism, the linguistic style used for informal communication
  • T–V distinction, involving a distinction between formal and informal words for "you"
  • 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

Chemistry

  • Formal concentration
    , molar concentration of original chemical formula in solution
  • Formal (pronounced "form-al")
    • A compound CH2(OR)2, named in analogy to
      ketals
      CR1R2(OR)2
    • Dimethoxymethane (CH2(OCH3)2) in particular, the formal derived from methanol

Social regulation

  • A formality, an established procedure or set of specific behaviors
    • Pro forma, for no purpose other than satisfying a formality
  • Informal activities:

Other

  • Informal vote
    , a spoiled, void, null vote cast in an election
  • MV Formality
    , coaster (formerly Empire Favourite) owned by F T Everard & Sons, scrapped in 1962

See also