|
名词  | 强调 |
|
| 一般 |
Berechnung f; Kalkül n |
| 供水, 过时/过时 |
Wertbestimmung f |
| 信息技术 |
Abzählung f |
| 地质学 |
Schätzung f |
| 外贸 |
Ermittlung f |
| 法律 |
Errechnung f |
| 空气动力学 |
Rechnung f |
| 经济 |
Ausrechnung f; Bemessung f; Bewertung f |
| 计量学 |
Zählung f (eines Tages, суток) |
| 语言科学 |
Rechnen n |
| 财政 |
Abrechnung f; Kalkulation f |
| 道路工程 |
Umrechnung f |
|
| 俄语 词库 |
|
|
| 一般 |
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь |
