Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

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

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

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


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


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

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


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

Реклама:
Толковые словари и Энциклопедии. Словарь - Исчисление - Энциклопедический словарь - Толковые Словари и Энциклопедии