Akademik

calculus
noun
a) calculation, computation

lambda calculus

b) Any formal system in which symbolic expressions are manipulated according to fixed rules.

predicate calculus

Syn: infinitesimal calculus, stone, dental calculus, tartar
See Also: calcify, calcium, calculate

Wikipedia foundation.