Большой энциклопедический словарь - исчисление
Связанные словари
Исчисление
исчисление
ИСЧИСЛЕНИЕ знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. .Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1045 | |
2 | 884 | |
3 | 787 | |
4 | 784 | |
5 | 748 | |
6 | 746 | |
7 | 693 | |
8 | 660 | |
9 | 604 | |
10 | 599 | |
11 | 571 | |
12 | 566 | |
13 | 565 | |
14 | 559 | |
15 | 550 | |
16 | 544 | |
17 | 544 | |
18 | 534 | |
19 | 517 | |
20 | 512 |