| |||
勘定 (かんじょう); 計算 (keisan); 計数 (けいすう); 算出 (さんしゅつ) | |||
運算 (うんざん); 計上 (けいじょう); 算用 (さんよう) | |||
Russian thesaurus | |||
| |||
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь |
исчисление : 57 phrases in 8 subjects |
Business | 39 |
Computers | 1 |
General | 7 |
Japanese language | 1 |
Law | 1 |
Mathematics | 1 |
Physics | 5 |
Technology | 2 |