DictionaryForumContacts

Google | Forvo | +
to phrases

исчисление

n
stresses
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. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 382 phrases in 47 subjects
Accounting6
Aerodynamics1
Analytical chemistry1
Artillery1
Astronomy1
Automated equipment3
Automobiles2
Banking4
Bookish / literary1
Business17
Chemistry2
Computers4
Customs1
Economics83
Electronics1
Finances23
Foreign trade11
General18
Geophysics1
Information technology2
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
Technology23
Textile industry1
Water supply2
Welding1
Welfare & Social Security1

Add | Report an error | Get short URL