calculus
(мн. ч. calculi, calculuses)
- исчисление
#
формальная математическая система, задаваемая множеством базовых символов, множеством синтаксических правил для порождения из базовых элементов произвольных, множеством аксиом (заведомо истинных элементов данного исчисления) и множеством правил вывода (семантических правил), с помощью которых из одних элементов системы порождаются другие. В зависимости от видов указанных множеств существует ряд различных исчислений.
Связные термины
calculus mathematics, differential calculus, infinitesimal calculus, integral calculus, matrix calculus, precalc math, predicate calculus, tensor calculus
