DictionaryForumContacts

   Russian
Google | Forvo | +
to phrases
исчисление nstresses
gen. Berechnung f; Kalkül n
aerodyn. Rechnung f
econ. Ausrechnung f; Bemessung f; Bewertung f
f.trade. Ermittlung f
fin. Abrechnung f; Kalkulation f
geol. Schätzung f
IT Abzählung f
law Errechnung f
ling. Rechnen n
metrol. Zählung f (eines Tages, суток)
road.wrk. Umrechnung f
 Russian thesaurus
исчисление n
gen. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление: 376 phrases in 46 subjects
Accounting6
Aerodynamics1
Analytical chemistry1
Artillery1
Astronomy1
Automated equipment1
Automobiles2
Banking4
Bookish / literary1
Business17
Chemistry2
Computers4
Customs1
Economy83
Electronics1
Finances23
Foreign trade11
General18
Geophysics1
International Monetary Fund7
Labor law1
Law27
Logic1
Management3
Mathematics104
Meat processing1
Medical1
Metallurgy1
Metrology3
Military3
Mining1
Natural resourses and wildlife conservation1
Navy3
Notarial practice1
Psychology3
Radio1
Rail transport1
Road works1
Shipbuilding3
Speed skating1
Statistics3
Technology21
Textile industry1
Water supply2
Welding1
Welfare & Social Security1