Web Analytics
DICTIONARY
TTS Voice
 virtual keyboard

Russian English Modern Computing Dictionary and Phrasebook


Translate to English
предверхний
предвид
предвыборка
предвыполнение
предекрементный
предел
предельный
предзагрузчик
предзаряд
предзначение
  предикате
предикатный
предиктор
предисловие
предкомпенсация
предкомпилятор
предкоординатный
предлагаемый
предлагать
предлагаться
предложение






    предикате




предикат сущ

1. predicate Логическое условие.
2. predicate Функция, значением которой является истинное или ложное высказывание.
3. predicate В лингвистике - то, что высказывается в суждениях о субъекте.

Phrases with  предикате

арифметика предикатов
predicative arithmetic



исчисление предикатов
predicate calculus, predicative calculus
Расширенное исчисление высказываний, в котором вводятся предметные символы (индивиды), отношения между ними, кванторы существования и всеобщности. Является основой для реляционного исчисления и построения предикатных моделей знаний.; functional calculus


исчисление предикатов N
ного порядка

исчисление предикатов высших порядков
higher predicate calculus



исчисление предикатов первого порядка
first

исчисление предикатов Энного порядка
n

логика предикатов
predicate logic
Направление в математической логике, исследующее языки и логические исчисления высших уровней.


предикат тождественности
sameness predicate



применяемость предиката
predicate selectivity
(характеризующая частоту его использования)


примитивный одноместный предикат
primitive one-place predicate



простой одноместный предикат
primitive one-place predicate



узкое исчисление предикатов
restricted predicate calculus



язык , основанный на логике предикатов
predicate logic language, predicate logic-based language



язык предикатов
predicate language



язык программирования , основанный на логике предикатов
predicate logic language, predicate logic-based language