исчисление

Примерами других известных исчислений являются исчислениевысказываний , вариационноеисчисление , лямбда-исчисление , пи-исчисление и соединённое исчисление .

Исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида , позволяющий дать точное описание некоторого класса задач , а для отдельных подклассов этого класса - и алгоритм решения .

ИСЧИСЛЕНИЕ — ИСЧИСЛЕНИЕ, область математики, включающая в себя методы ДИФФЕРЕНЦИРОВАНИЯ и ИНТЕГРИРОВАНИЯ.

ИСЧИСЛЕНИЕ (формальная система) — система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов — букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы...

Исчисление. Толкование. Исчисление. основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать...

Исчисле́ние знаковаясистема, создаваемаяиспользованиемпроцессаобразованиявсехсинтаксическиправильныхсимволическихвыраженийизбуквалфавитасистемы — языкаисчисления, тоестьтермов (слов) иформул (фраз)...

Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его...