Anmelden | German | Nutzungsvereinbarung
Wörterbücher
Forum
Kontakte

   Russisch ⇄ +
Google | Forvo | +
zu Phrasen

исчисление

Sub. 		Betonungen
Allg. cómputo m (вычисление); calcuación f; cuento m; enumeración f; numeración f; cálculo m; computación f
Luftf. cómputo m
Recht. evaluación f; valoración f
Tech. cuenta f
Wirtsch. calculación m; cuantificación f
 Russisch Thesaurus
исчисление Sub.
Allg. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 95 Phrasen in 14 Thematiken
Allgemeine Lexik4
Bankwesen1
Elektronik1
Geschäftsvokabular2
Handel13
Internationaler Währungsfonds14
Luftfahrt3
Mathematik4
Recht2
Sozialleistungen1
Technik13
Unternehmensführung2
Vereinte Nationen1
Wirtschaft34

Hinzufügen | Fehler melden | Kurzlink auf diese Seite