-
61 прикладное исчисление предикатов
abbrev. ПИПРусско-английский словарь по математике > прикладное исчисление предикатов
-
62 узкое исчисление предикатов
abbrev. УИПРусско-английский словарь по математике > узкое исчисление предикатов
-
63 чистое исчисление предикатов
abbrev. ЧИПРусско-английский словарь по математике > чистое исчисление предикатов
-
64 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
-
65 исчисление
* * *n. calculus, computation;
исчисление высказываний - propositional calculus;
исчисление предикатов - predicate calculus;
исчисление одноместных предикатов - one-place predicate calculus;
исчисление задач - problem calculus;
чистое исчисление предикатов - pure predicate calculus;
узкое исчисление предикатов - restricted predicate calculus -
66 исчисление
n.calculus, computation -
67 исчисление
ср.calculation; мат. calculus (pl. -li, -luses)- многозначное пропозициональное исчисление
- пропозициональное исчисление
- расширенное пропозициональное исчисление
- строгое исчисление предикатов
- функциональное исчисление -
68 исчисление
-
69 исчисление
с. calculus -
70 исчисление одноместных предикатов
Mathematics: monadic predicate calculus, one-place predicate calculusУниверсальный русско-английский словарь > исчисление одноместных предикатов
-
71 исчисление одноместных предикатов
monadic predicate calculus, one-place predicate calculusРусско-английский научно-технический словарь Масловского > исчисление одноместных предикатов
-
72 дифференциальное исчисление
1. calculus2. differential calculusРусско-английский большой базовый словарь > дифференциальное исчисление
-
73 индескное исчисление
Русско-английский большой базовый словарь > индескное исчисление
-
74 функциональное исчисление
Русско-английский большой базовый словарь > функциональное исчисление
-
75 векторное исчисление
-
76 функциональное исчисление
Русско-английский научный словарь > функциональное исчисление
-
77 интегральное исчисление
Русско-английский новый политехнический словарь > интегральное исчисление
-
78 операционное исчисление
Русско-английский военно-политический словарь > операционное исчисление
-
79 интегральное исчисление
Русско-английский словарь по информационным технологиям > интегральное исчисление
-
80 операционное исчисление
Русско-английский словарь по информационным технологиям > операционное исчисление
См. также в других словарях:
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… … Философская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисление предикатов — раздел математической логики совокупность логико математических исчислений (См. Исчисление), формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… … Естествознание. Энциклопедический словарь
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики