higher+calculus
21predicate calculus — The logical calculus in which the expressions include predicate letters, variables, and quantifiers, names, and operation letters, as well as the expressions for truth functions and the propositional variables of the propositional calculus . The… …
22Multivariable calculus — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation Taylor s theorem Related rates …
23Matrix calculus — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation Taylor s theorem Related rates …
24Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… …
25Secondary calculus and cohomological physics — In mathematics, secondary calculus is a proposed expansion of classical differential calculus on manifolds, to the space of solutions of a (nonlinear) partial differential equation. It is a sophisticated theory at the level of jet spaces and… …
26Process calculus — In computer science, the process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. Process calculi provide a tool for the high level description of interactions, communications, and …
27Fractional calculus — is a branch of mathematical analysis that studies the possibility of taking real number powers of the differential operator ::D = frac{d}{dx} , and the integration operator J . (Usually J is used in favor of I to avoid confusion with other I like …
28Fundamental theorem of calculus — The fundamental theorem of calculus specifies the relationship between the two central operations of calculus, differentiation and integration.The first part of the theorem, sometimes called the first fundamental theorem of calculus, shows that… …
29Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as …
30Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… …
