DictionaryForumContacts

   Russian
Google | Forvo | +
to phrases
исчисление nstresses
gen. 勘定 (かんじょう); 計算 (keisan); 計数 (けいすう); 算出 (さんしゅつ)
busin. 運算 (うんざん); 計上 (けいじょう); 算用 (さんよう)
 Russian thesaurus
исчисление n
gen. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 57 phrases in 8 subjects
Business39
Computers1
General7
Japanese language1
Law1
Mathematics1
Physics5
Technology2