Calculus (disambiguation)

Calculus (from Latin calculus meaning ‘pebble’, plural calculī) in its most general sense is any method or system of calculation.

Calculus may refer to:

Biology

edit

Medicine

edit

Mathematics

edit

Logic

edit
  • Logical calculus, a formal system that defines a language and rules to derive an expression from premises
  • Calculus of relations, the manipulation of binary relations with the algebra of sets, composition of relations, and transpose relations
  • Epsilon calculus, a logical language which replaces quantifiers with the epsilon operator
  • Fitch-style calculus, a method for constructing formal proofs used in first-order logic
  • Modal μ-calculus, a common temporal logic used by formal verification methods such as model checking

Physics

edit

Formal language

edit
  • Lambda calculus, a formulation of the theory of reflexive functions that has deep connections to computational theory
    • Kappa calculus, a reformulation of the first-order fragment of typed lambda calculus
    • Rho calculus, introduced as a general means to uniformly integrate rewriting into lambda calculus
  • Process calculus, a set of approaches to formulating formal models of concurrent systems
    • Ambient calculus, a family of models for concurrent systems based on the concept of agent mobility
    • Join calculus, a theoretical model for the design of distributed programming languages
    • π-calculus, a formulation of the theory of concurrent, communicating processes
  • Relational calculus, a calculus for the relational data model
  • Refinement calculus, a way of refining models of programs into efficient programs

Other meanings

edit

See also

edit