First-order

From Wikipedia, the free encyclopedia

In mathematics and other formal sciences, first-order or first order most often means either:

  • "linear" (a polynomial of degree at most one), as in first-order approximation and other calculus uses, where it is contrasted with "polynomials of higher degree", or
  • "without self-reference", as in first-order logic and other logic uses, where it is contrasted with "allowing some self-reference" (higher-order logic)

In detail, it may refer to:

Mathematics[edit]

Differential equations[edit]

Logic[edit]

Chemistry[edit]

Computer science[edit]

Other uses[edit]

See also[edit]