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.

the propositional calculus, which specify the rules of inference governing the logic of propositions.

Lambda calculus, a formulation of the theory of reflexive functions that has deep connections to computational theory.

the calculus of variations, the study of extremal functionals.

Pi-calculus, a formulation of the theory of concurrent, communicating processes, invented by Robin Milner.

Tuple calculus, a calculus for the relational data model, inspired the SQL language.

Cuthbert Calculus, a fictional character in the series The Adventures of Tintin

the calculus of sums and differences, also called the finite-difference calculus, a discrete analogue of the Calculus.

Calculus, a spider genus (Oonopidae).

Umbral calculus, the combinatorics of certain operations on polynomials.

Calculus (dental), deposits of calcium phosphate salts on teeth, also known as tartar.

the predicate calculus, which specify the rules of inference governing the logic of predicates.

Calculus (medicine), a stone formed in the body such as a gall stone or kidney stone.

Functional calculus, a way to apply various types of functions to operators.

Domain relational calculus, a calculus for the relational data model.

a proof calculus, a framework for expressing systems of logical inference.

Join calculus, a theoretical model for distributed programming.

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

Precalculus, a family of mathematical topics that prepare students to begin to study differential and integral calculus.

Refinement calculus, a way of refining models of programs into efficient programs.

Modal μ-calculus, a common temporal logic used by formal verification methods such as model checking.

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

Rho calculus, introduced as a general means to uniformly integrate rewriting and lambda calculus.