Iniciar sesión | Spanish | Términos y condiciones de uso
DiccionariosForoContactos

   Ruso ⇄ +
Google | Forvo | +
a las frases

исчисление

s 		acentos
gen. cómputo m (вычисление); calcuación f; cuento m; enumeración f; numeración f; cálculo m; computación f
avia. cómputo m
econ. calculación m; cuantificación f
jur. evaluación f; valoración f
tec. cuenta f
 Ruso tesauro
исчисление s
gen. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 95 a las frases, 14 temas
Aviación3
Bancario1
Bienestar y seguridad social1
Comercio13
Economía34
Electrónica1
Fondo monetario internacional14
General4
Gobierno corporativo2
Jurídico2
Matemáticas4
Naciones unidas1
Negocio2
Tecnología13

Añadir | Enviar un mensaje de error | Enlace corto a esta página