calculi (See calculus)

1 a hard lump produced by the concretion of mineral salts; found in hollow organs or ducts of the body; "renal calculi can be very painful" [syn: concretion]

2 an incrustation that forms on the teeth and gums [syn: tartar, tophus]

3 the branch of mathematics that is concerned with limits and with the differentiation and integration of functions [syn: the calculus, infinitesimal calculus] [also: calculi (pl)]

English

Noun

calculi

1. Plural of calculus

Calculus is Latin for pebble, and has a number of meanings in English:

In mathematics and computer science

Calculus, in its most general sense, any method or system of calculation.

• Calculus, short for Differential and Integral Calculus, which investigates motion and rates of change. The denotation "the Calculus" is sometimes used to distinguish this from other mathematical meanings.
• Precalculus, a family of mathematical topics that prepare students to begin to study differential and integral calculus.
• the calculus of sums and differences, also called the finite-difference calculus, a discrete analogue of the Calculus.
• In symbolic logic:
  • the propositional calculus, which specify the rules of inference governing the logic of propositions.
  • the predicate calculus, which specify the rules of inference governing the logic of predicates.
  • a proof calculus, a framework for expressing systems of logical inference.
  • the sequent calculus, a proof calculus for first-order logic.
• Domain relational calculus, a calculus for the relational data model.
• Functional calculus, a way to apply various types of functions to operators.
• Join calculus, a theoretical model for distributed programming.
• Lambda calculus, a formulation of the theory of reflexive functions that has deep connections to computational theory.
• Matrix calculus, a specialized notation for multivariable calculus over spaces of matrices.
• Modal μ-calculus, a common temporal logic used by formal verification methods such as model checking.
• Pi-calculus, a formulation of the theory of concurrent, communicating processes, invented by Robin Milner.
• Refinement calculus, a way of refining models of programs into efficient programs.
• Rho calculus, introduced as a general means to uniformly integrate rewriting and lambda calculus.
• Tuple calculus, a calculus for the relational data model, inspired the SQL language.
• Umbral calculus, the combinatorics of certain operations on polynomials.
• the calculus of variations, the study of extremal functionals.
• Vector calculus (also called vector analysis), comprising specialized notations for multivariable analysis of vectors in an inner-product space.

Other meanings

• Calculus (dental), deposits of calcium phosphate salts on teeth, also known as tartar.
• Calculus (medicine), a stone formed in the body such as a gall stone or kidney stone.
• Professor Cuthbert Calculus, a fictional character in the series The Adventures of Tintin
• Calculus, a spider genus (Oonopidae).
• Caseolus calculus, a species of small land snails.
• Battlefield calculus, military factoring of all known factors into the decision making and action planning process