-
81 исчисление
ср. calculation;
calculus мат. вести исчисление ≈ (от какой-л. Даты) to date дифференциальное исчисление вариационное исчисление интегральное исчислениес.
1. (вычисление) calculation, computation;
~ налога фин. calculation of a tax, tax calculation;
2. мат. calculus.Большой англо-русский и русско-английский словарь > исчисление
-
82 calculus
I ['kælkjuləs] сущ.; лат.; мн. calculi, calculuses; мед. II ['kælkjuləs] сущ.; лат.; мн. calculuses, calculi; мат.Syn: -
83 исчисление предикатов
1. functional calculus2. predicate calculus3. predicative calculusРусско-английский большой базовый словарь > исчисление предикатов
-
84 calculus
1) исчисление2) вычисление; вычисления•- calculus of approximations
- calculus of residues
- extended calculus
- functional calculus
- higher predicate calculus
- index calculus
- matrix calculus
- operational calculus
- predicate calculus
- predicative calculus
- propositional calculus
- relational calculus
- restricted predicate calculus
- sentential calculus
- situation calculusEnglish-Russian dictionary of computer science and programming > calculus
-
85 исчисление
-
86 calculus
-
87 calculus
вчт.- Boolean calculus
- differential calculus
- domain calculus
- functional calculus
- infinitesimal calculus
- integral calculus
- predicate calculus
- propositional calculus
- relational calculus
- sentential calculus
- tuple calculusThe New English-Russian Dictionary of Radio-electronics > calculus
-
88 исчисление предикатов
-
89 исчисление предикатов
Русско-английский военно-политический словарь > исчисление предикатов
-
90 исчисление предикатов
Русско-английский словарь по информационным технологиям > исчисление предикатов
-
91 исчисление
ср.calculation; мат. calculus (pl. -li, -luses)- многозначное пропозициональное исчисление
- пропозициональное исчисление
- расширенное пропозициональное исчисление
- строгое исчисление предикатов
- функциональное исчисление -
92 исчисление высказываний
1) Engineering: propositional calculus2) Mathematics: PC (propositional calculus), sentence calculus, sentential calculus3) Information technology: prepositional calculus, sententional calculusУниверсальный русско-английский словарь > исчисление высказываний
-
93 исчисление
ср.calculation; calculus матем.- в душевом исчислениивести исчисление — (от какой-л. даты) to date
- в процентном исчислении
- в реальном исчислении
- вариационное исчисление
- дифференциальное исчисление
- интегральное исчисление -
94 calculus of variations
English-Russian big polytechnic dictionary > calculus of variations
-
95 calculus of variations
English-Russian dictionary of Information technology > calculus of variations
-
96 calculus of variations
вариационное исчисление
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > calculus of variations
-
97 calculus
['kælkjʊləs]1) Медицина: зубной камень, камень, конкремент, твёрдые назубные отложения, камень (почечный, жёлчный), камень (почечный, жёлчный и т.п.)2) Техника: вычисление, вычисления, дифференциальное исчисление, интегральное исчисление3) Сельское хозяйство: конкремент (в печени, в почках)4) Строительство: начисление5) Математика: анализ, дифференциальное и интегральное исчисление, математический анализ, счисление, теория аппроксимации, численные методы, исчисление6) Стоматология: зубной налёт, налёт7) Деловая лексика: калькуляция8) Автоматика: расчёт9) Контроль качества: метод расчёта10) Макаров: дакриолит -
98 исчисление предикатов
1) Engineering: functional calculus, predicative calculus2) Mathematics: PC (predicate calculus), predicate calculusУниверсальный русско-английский словарь > исчисление предикатов
-
99 calculus
English-Russian dictionary of mechanical engineering and automation > calculus
-
100 calculus I
n ( pl тж. calculi)
1) мат. исчисление, differencial ~ дифференциальное исчисление, integral ~ интегральное исчисление;
2) калькуляцияБольшой англо-русский и русско-английский словарь > calculus I
См. также в других словарях:
Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… … Википедия
Исчисление общающихся систем — Исчисление взаимодействующих систем (англ. Calculus of Communicating Systems, CCS) это исчисление процессов, введённое Робином Милнером около 1980, и название его книги, описывающей это исчисление. Исчисление работает с моделью… … Википедия
Исчисление процессов — (алгебра процессов) семейство связанных подходов к формальному моделированию конкурентных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем… … Википедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
исчисление вероятностей — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN probability calculus … Справочник технического переводчика
исчисление высказываний — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN propositional calculus … Справочник технического переводчика
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
Calculus probabilium — (лат.) исчисление вероятностей. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 … Философская энциклопедия
Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) … Википедия
исчисление — skaičiavimas statusas T sritis automatika atitikmenys: angl. calculation; calculus; computation vok. Berechnung, f; Kalkulation, f; Rechnung, f; Zählung, f rus. вычисление, n; исчисление, n; расчёт, m; счёт, m pranc. calcul, m; compte, m … Automatikos terminų žodynas
исчисление — skaičiuotė statusas T sritis fizika atitikmenys: angl. calculus vok. Rechnung, f rus. исчисление, n pranc. calcul, m … Fizikos terminų žodynas