некоторая знаковая, символьная система. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений преобразует исчисление в формализованный язык. Основные примеры исчислений: числовые и алгебраические системы, логические исчисления, например, логистика, как математическая логика.
Начала современного естествознания. Тезаурус. — Ростов-на-Дону. В.Н. Савченко, В.П. Смагин. 2006.