-
101 ЧИП
abbrev (чистое исчисление предикатов), pure predicate calculus -
102 ПИП
1) Mathematics: прикладное исчисление предикатов2) Oil: приёмочные испытания на площадке3) Sakhalin energy glossary: план выполнения проекта4) Sakhalin R: План Исполнения Проекта -
103 Пип
1) Mathematics: прикладное исчисление предикатов2) Oil: приёмочные испытания на площадке3) Sakhalin energy glossary: план выполнения проекта4) Sakhalin R: План Исполнения Проекта -
104 УИП
Mathematics: узкое исчисление предикатов -
105 ЧИП
Mathematics: чистое исчисление предикатов -
106 чип
Mathematics: чистое исчисление предикатов -
107 предикат
-
108 ПИП
abbrev. (прикладное исчисление предикатов), applied predicate calculus -
109 УИП
abbrev. (узкое исчисление предикатов), restricted predicate calculus -
110 ЧИП
abbrev. (чистое исчисление предикатов), pure predicate calculus -
111 узкий
1. hidebound2. too narrow3. restricted4. clean5. close-cut6. fine-bored7. narrow; tight8. narrow-mindedузкий, ограниченный — narrow-minded
9. parochial10. skimpyСинонимический ряд:1. недалекий (прил.) куцый; недалекий; ограниченный; односторонний; узколобый2. тесный (прил.) тесныйАнтонимический ряд: -
112 ПИП
abbrev. for прикладное исчисление предикатов -
113 предикат
-
114 УИП
abbrev. for узкое исчисление предикатов -
115 ЧИП
abbrev. for чистое исчисление предикатов
См. также в других словарях:
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… … Философская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисление предикатов — раздел математической логики совокупность логико математических исчислений (См. Исчисление), формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… … Естествознание. Энциклопедический словарь
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики