calculus
91calculus of probabilities — calculation of likelihood or probabilities …
92calculus of classes — algebra of classes …
93calculus of individuals — a branch of symbolic logic designed to avoid the terminological platonism inherent in an algebra of classes by recourse to the notion of individuals especially in their relationships of overlapping, discreteness, and being a part …
94Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …
95Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the …
96History of calculus — History of science …
97Non-Newtonian calculus — The phrase Non Newtonian calculus used by Grossman and KatzGrossman and Katz. Non Newtonian Calculus , ISBN 0912938013, Lee Press, 1972.] describes a variety of alternatives to the classical calculus of Isaac Newton and Gottfried Leibniz.There… …
98π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) …
99Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …
100The Calculus Affair — (L Affaire Tournesol) Cover of the English edition Publisher Casterman …
