|
名词  | 强调 |
|
| 一般 |
calcul m; computation f (времени); dénombrement m; énumération f; évaluation f; liquidation f; taux m; chiffrage m |
| 信息技术 |
calcul m (см. тж. calculs, compte, computation) |
| 化学 |
calculation m |
| 商业活动 |
calcul m (налога, взносов во внебюджетные фонды) |
| 圣经 |
état des comptes (сергей орлов); recensement m (сергей орлов) |
| 地球物理学 |
computage m |
| 法律 |
calcul de la valeur |
| 法律, 过时/过时 |
déclaration f |
| 计算 |
computation f; comptage m |
| 财政 |
décompte m |
| 过时/过时 |
opération f |
|
| 俄语 词库 |
|
|
| 一般 |
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь |
