Энциклопедический словарь
"Исчисление"

Главная - Энциклопедический словарь - буква И - Исчисление

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: Исчисление

будет выглядеть так: Что такое Исчисление

Энциклопедический словарь"Исчисление"

Энциклопедический словарь
"Исчисление"