DictionnaireLe forumContacts

   Russe +
Google | Forvo | +
phrases

исчисление

n
contraintes
génér. cómputo m (вычисление); calcuación f; cuento m; enumeración f; numeración f; cálculo m; computación f
aviat. cómputo m
evaluación f; valoración f
techn. cuenta f
écon. calculación m; cuantificación f
 Russe glossaire
исчисление n
génér. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 95 phrases, 14 sujets
Aviation3
Bancaire1
Bien-être et sécurité sociale1
Commerce13
Économie34
Électronique1
Entreprise2
Fond monétaire international14
Général4
Gouvernance d'entreprise2
Loi2
Mathématiques4
Nations unies1
Technologie13