Jump to content

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]