μ-calculus
51Calculus of inductive constructions — The calculus of inductive constructions is the underlying core language of the Coq Proof Assistant. It is based on the calculus of constructions extended by inductive definitions as they are known from intuitionistic type theory …
52Calculus Surface Index — An index that measures only dental calculus, used for evaluating new calculus formation within a large group of test subjects …
53Calculus — Cạlculus [aus lat. calculus, Gen.: calculiCalculus= Steinchen] m; , ...li: kleiner Stein, Steinchen, ↑Konkrement. Cạlculus fẹlle|us:Calculus= Cholelith. Cạlculus rena̱lis: = Nephrolith. Cạlculus saliva̱lis: = Sialolith. Cạlculus vesi̱cae:… …
54calculus — cal•cu•lus [[t]ˈkæl kyə ləs[/t]] n. pl. li [[t] ˌlaɪ[/t]] lus•es 1) math. a method of calculation, esp. one of several highly systematic methods of treating problems by a special system of algebraic notations, as differential or integral calculus …
55Calculus — Mathematics Math e*mat ics, n. [F. math[ e]matiques, pl., L. mathematica, sing., Gr. ? (sc. ?) science. See {Mathematic}, and { ics}.] That science, or class of sciences, which treats of the exact relations existing between quantities or… …
56calculus — noun (plural calculi; also luses) Etymology: Latin, stone (used in reckoning) Date: 1666 1. a. a method of computation or calculation in a special notation (as of logic or symbolic logic) b. the …
57calculus of variations — Date: 1837 a branch of mathematics concerned with applying the methods of calculus to finding the maxima and minima of a function which depends for its values on another function or a curve …
58Calculus renalis — Klassifikation nach ICD 10 N20 Nieren und Ureterstein N21 Stein in den unteren Harnwegen …
59calculus of finite differences — the branch of mathematics dealing with the application of techniques similar to those of differential and integral calculus to discrete rather than continuous quantities. * * * …
60calculus of pleasure. — See hedonic calculus. * * * …
