List of formal systems
Encyclopedia

Mathematical

  • Domain relational calculus
    Domain relational calculus
    In computer science, domain relational calculus is a calculus that was introduced by Michel Lacroix and Alain Pirotte as a declarative database query language for the relational data model.In DRC, queries have the form:...

    , a calculus for the relational data model
  • Functional calculus
    Functional calculus
    In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. It is now a branch of the field of functional analysis, connected with spectral theory. In mathematics, a functional calculus is a theory allowing one to apply mathematical...

    , a way to apply various types of functions to operators
  • Join calculus, a theoretical model for distributed programming
  • Lambda calculus
    Lambda calculus
    In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion. The portion of lambda calculus relevant to computation is now called the untyped lambda calculus...

    , a formulation of the theory of reflexive functions that has deep connections to computational theory
  • Matrix calculus
    Matrix calculus
    In mathematics, matrix calculus is a specialized notation for doing multivariable calculus, especially over spaces of matrices, where it defines the matrix derivative. This notation was to describe systems of differential equations, and taking derivatives of matrix-valued functions with respect...

    , 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
    Pi-calculus
    In theoretical computer science, the π-calculus is a process calculus originally developed by Robin Milner, and David Walker as a continuation of work on the process calculus CCS...

    , a formulation of the theory of concurrent, communicating processes that was invented by Robin Milner
  • Predicate calculus, specifies the rules of inference governing the logic of predicates
  • Propositional calculus
    Propositional calculus
    In mathematical logic, a propositional calculus or logic is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true...

    , specifies the rules of inference governing the logic of propositions
  • Refinement calculus
    Refinement Calculus
    Refinement calculus is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non-executable "program", which is then refined by a series of correctness-preserving transformations into an...

    , a way of refining models of programs into efficient programs
  • Rho calculus
    Rho calculus
    The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting.-External links:*...

    , 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
    Umbral calculus
    In mathematics before the 1970s, the term umbral calculus referred to the surprising similarity between seemingly unrelated polynomial equations and certain shadowy techniques used to 'prove' them. These techniques were introduced by and are sometimes called Blissard's symbolic method...

    , the combinatorics of certain operations on polynomials
  • Vector calculus (also called vector analysis), comprising specialized notations for multivariable analysis of vectors in an inner-product space
The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK