DictionnaireLe forumContacts

   Russe +
Google | Forvo | +
phrases

исчисление

n
contraintes
génér. calculation; working-out; working out; computation; enumeration; count; enumerating; recension; recital; reckoning; calculi
banq. assessment; evaluation; imputation; liquidation (oVoD)
constr. analysis; calculating; numbering
entr. capitation; estimate; statement
financ. construction
génie m., obsol. calculus (дифференциальное и интегральное)
math. numeration; calculus
nanot. computing
naut. rating
obsol. connumeration; dinumeration
peu fr. compute
techn. computations
écon. calculations; costing; estimation; processing operations; valuation
C-исчисление n
informat. C-calculus
μ-исчисление n
électr. μ-calculus
D-исчисление n
médias. D-calculus
исчисления n
estimation (Право международной торговли On-Line)
 Russe glossaire
исчисление n
génér. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 644 phrases, 75 sujets
Abréviation1
Acoustique2
Aérohydrodynamique1
Analyse mathematique1
Assurance3
Aviation5
Bancaire14
Banque européenne pour la reconstruction et le développement17
Biologie2
Bourse1
Cartographie1
Caspienne1
Chimie analytique1
Christianisme1
Ciment2
Comptabilité6
Construction1
Contrôle qualité et normes1
Démographie1
Diplomatie4
Économie69
Électronique11
Entreprise9
Équipement automatisé4
Espace3
Finances15
Fond monétaire international5
Général57
Géologie2
Idiomatique1
Impôts17
Industrie de l'énergie2
Informatique29
Ingénierie électrique1
Investissement3
Linguistique7
Livre/littéraire2
Logiciel1
Logique11
Loi10
Makarov16
Mathématiques165
Mécanique1
Médias de masse4
Médical4
Microélectronique2
Microsoft1
Militaire7
Nanotechnologie1
Nations unies1
Nautique3
Obsolète / daté2
Ordinateurs13
Patinage de vitesse1
Phonétique1
Physique5
Pratique notariale3
Production1
Programmation14
Psychologie1
Publicité8
Ressources naturelles et conservation de la faune2
SÈVE4
Sociologie1
Soins de santé1
Statistiques6
Surveillance des vibrations4
Sylviculture1
Technologie32
Tengiz1
Titres4
Transport2
Transport ferroviaire4
Travaux routiers2
Véhicules blindés1