знаковая система, создаваемая использованием процессаобразования всех синтаксически правильных символических выражений из буквалфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз),и процесса вывода потенциально значимых (истинных) формул исчисления (егофразеологии) из некоторого фиксируемого в том же языке набораформул-аксиом. Любое исчисление однозначно определяется заданием алфавитаисчисления, правил образования языка в алфавите, множества аксиом и правилпреобразования (вывода) его фразеологии. Приписывание символам исчислениязначений, т. е. рассмотрение исчислений как знаковой системы(интерпретация исчислений), преобразует исчисление в формализованный язык.Основные примеры исчисления: числовые и алгебраические системы, логическиеисчисления.
|
