The term formal has a number of uses, including:

Contents 1 General 2 Social 3 Philosophical 4 Mathematics 4.1 Logic and Language 5 Computer science 6 Linguistic 7 Chemical 8 See also

General

• relating to formality
• opposite of informal

Social

• Formal occasion
  • Formal attire worn on such occasions
  • Formals are particular meals at some British universities
  • In Australian or British English, a "formal" is the equivalent of the American prom dance. A formality is an established procedure or set of specific behaviors and utterances conceptually similar to a Ritual although typically secular and less involved Formal dress (UK and formal wear (US are the general terms for Clothing suitable for formal social events such as a Wedding, formal garden party Formal dress (UK and formal wear (US are the general terms for Clothing suitable for formal social events such as a Wedding, formal garden party Formal Hall or Formal Meal is the traditional meal held at some of the older universities in the United Kingdom at which students dress in Formal attire
  • In American English, a "formal" is organized by a college or university organization, typically but not always a fraternity or sorority. Fraternities and sororities (from the Latin words la frater and la soror, meaning "brother" and "sister" respectively are fraternal
• Informal occasion (included as Informal redirect here); see Dress code (Western) for the distinctions between Formal, Semi-formal, and Informal
  • Informal attire (not to be confused with Casual -- see Dress code (Western))

Philosophical

• relating to form, i. A dress code is a set of rules governing what garments may be worn together Informal is a Dress code, typified by a suit and Necktie. On the scale of formality informal attire is more formal than casual but less formal A dress code is a set of rules governing what garments may be worn together e. appearance rather than essence.
  • relating to Formalism, i. e. emphasis on form over content or meaning.
• formal logic logical argument based only on the form and not on the meaning. Mathematical logic is a subfield of Logic and Mathematics with close connections to Computer science and Philosophical logic.
• Formal cause, Aristotle's intrinsic, determining cause.

Mathematics

• 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. In Mathematics, formal power series are devices that make it possible to employ much of the analytical machinery of Power series in settings that do not In Mathematical logic, a formal calculation is sometimes defined as a calculation which is systematic but without a rigorous justification. In Mathematics, the formal derivative is an operation on elements of a Polynomial ring which mimics the form of the derivative from calculus.

Logic and Language

• 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. In formal logic, a formal system (also called a logical system, a logistic system, or simply a logic Formal systems in mathematics consist A formal language is a set of words, ie finite strings of letters, or symbols. In Formal semantics, Computer science and Linguistics, a formal grammar (also called formation rules) is a precise description of a Formal see also Mathematical proof, Proof theory, and Axiomatic system.

Computer science

• formal methods in computer science, including:
  • formal specification describes what a system should do, not how it should do it
  • formal verification proves correctness of a system

See also the Language section of Mathematics, above

Linguistic

• Formal equivalence word-for-word translation (especially of the Bible)

See also the Language section of Mathematics, above

Chemical

• A unit of concentration
• short or prefix form for formalin
• short or prefix form for formaldehyde
• synonym for dimethoxymethane

See also

• Informal economy

In Computer science and Software engineering, formal methods are particular kind of Mathematically -based techniques for the specification, development A formal specification is a mathematical description of Software or Hardware that may be used to develop an Implementation. In the context of hardware and software systems formal verification is the act of proving or disproving the Correctness of intended Algorithms underlying Dynamic equivalence and formal equivalence are two approaches to Translation. In Chemistry, concentration is the measure of how much of a given substance there is mixed with another substance Formaldehyde is a Chemical compound with the formula H2CO It is the simplest Aldehyde —an organic compound containing a terminal Carbonyl Formaldehyde is a Chemical compound with the formula H2CO It is the simplest Aldehyde —an organic compound containing a terminal Carbonyl Dimethoxymethane, also called methylal is a clear colorless flammable liquid with a low boiling point low Viscosity and an excellent dissolving power In Economics, the term informal economy (or second economy in the South African context refers to all economic activities that fall outside the formal

© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic