-
41 прикладное исчисление предикатов
Mathematics: APC (applied predicate calculus), applied predicate calculusУниверсальный русско-английский словарь > прикладное исчисление предикатов
-
42 расширенное исчисление предикатов
Mathematics: extended predicate calculusУниверсальный русско-английский словарь > расширенное исчисление предикатов
-
43 сингулярное исчисление предикатов
Mathematics: singular predicate calculusУниверсальный русско-английский словарь > сингулярное исчисление предикатов
-
44 собственное исчисление предикатов
Mathematics: proper predicate calculusУниверсальный русско-английский словарь > собственное исчисление предикатов
-
45 узкое исчисление предикатов
Mathematics: RPC (restricted predicate calculus), restricted predicate calculusУниверсальный русско-английский словарь > узкое исчисление предикатов
-
46 чистое исчисление предикатов
Mathematics: PPC (pure predicate calculus), pure predicate calculusУниверсальный русско-английский словарь > чистое исчисление предикатов
-
47 строгое исчисление предикатов
Russian-english psychology dictionary > строгое исчисление предикатов
-
48 узкое исчисление предикатов
Русско-английский биологический словарь > узкое исчисление предикатов
-
49 узкое исчисление предикатов
Русско-английский словарь по вычислительной технике и программированию > узкое исчисление предикатов
-
50 двузначное исчисление предикатов
Русско-английский научно-технический словарь Масловского > двузначное исчисление предикатов
-
51 дедуктивное исчисление предикатов
Русско-английский научно-технический словарь Масловского > дедуктивное исчисление предикатов
-
52 конструктивное исчисление предикатов
Русско-английский научно-технический словарь Масловского > конструктивное исчисление предикатов
-
53 многозначное исчисление предикатов
Русско-английский научно-технический словарь Масловского > многозначное исчисление предикатов
-
54 модальное исчисление предикатов
modal predicate calculus логикаРусско-английский научно-технический словарь Масловского > модальное исчисление предикатов
-
55 позитивное исчисление предикатов
positive predicate calculus логикаРусско-английский научно-технический словарь Масловского > позитивное исчисление предикатов
-
56 расширенное исчисление предикатов
extended predicate calculus матем.Русско-английский научно-технический словарь Масловского > расширенное исчисление предикатов
-
57 сингулярное исчисление предикатов
singular predicate calculus логикаРусско-английский научно-технический словарь Масловского > сингулярное исчисление предикатов
-
58 собственное исчисление предикатов
proper predicate calculus логикаРусско-английский научно-технический словарь Масловского > собственное исчисление предикатов
-
59 узкое исчисление предикатов
Русско-английский научно-технический словарь Масловского > узкое исчисление предикатов
-
60 чистое исчисление предикатов
pure predicate calculus логикаРусско-английский научно-технический словарь Масловского > чистое исчисление предикатов
См. также в других словарях:
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… … Философская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисление предикатов — раздел математической логики совокупность логико математических исчислений (См. Исчисление), формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… … Естествознание. Энциклопедический словарь
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики