-
1 calculus
-
2 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
3 исчисление
* * *n. calculus, computation;
исчисление высказываний - propositional calculus;
исчисление предикатов - predicate calculus;
исчисление одноместных предикатов - one-place predicate calculus;
исчисление задач - problem calculus;
чистое исчисление предикатов - pure predicate calculus;
узкое исчисление предикатов - restricted predicate calculus -
4 calculus
calculus исчислениеextended propositional calculus расширенное пропозициональное исчислениеfunctional calculus функциональное исчислениеmany-valued propositional calculus многозначное пропозициональное исчислениеpredicate calculus исчисление предикатовpropositional calculus пропозициональное исчислениеrestricted predicate calculus узкое исчисление предикатовEnglish-Russian dictionary of biology and biotechnology > calculus
-
5 исчисление
-
6 calculus
-
7 исчисление
calculus имя существительное: -
8 исчисление
с. calculus -
9 calculus
[̈ɪˈkælkjuləs]calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление calculus исчисление calculus калькуляция calculus (pl -li) мед. камень calculus of probability теория вероятностей calculus of variations вариационное исчисление certainty calculus исчисление достоверности calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление extended calculus расширенное исчисление first order predicate calculus исчисление предикатов первого порядка frame calculus исчисление фреймов integral calculus интегральное исчисление lambda calculus лямбда-исчисление logical calculus логическое исчисление predicate calculus исчисление предикатов program calculus исчисление программ propositional calculus исчисление высказываний relational calculus реляционное исчисление sentential calculus исчисление высказываний situational calculus ситуационное исчисление -
10 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
-
11 calculus
1. n мат. исчисление2. n калькуляция3. n мед. камень -
12 исчисление
n.calculus, computation -
13 calculus
вычисление; исчисление -
14 calculus
метод расчёта; метод вычисления
* * *
* * *
вычисление, исчислениеАнгло-русский словарь нефтегазовой промышленности > calculus
-
15 исчисление вероятностей
исчисление вероятностей
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление вероятностей
-
16 исчисление высказываний
исчисление высказываний
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление высказываний
-
17 исчисление предикатов
исчисление предикатов
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление предикатов
-
18 исчисление
-
19 calculus
исчисление имя существительное:конкремент (calculus, concretion)камешек (stone, concretion, calculus) -
20 calculus
См. также в других словарях:
Исчисление взаимодействующих систем — (англ. 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