Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Mathematics containing predicate calculus | all forms | exact matches only | in specified order only
EnglishRussian
applied predicate calculusприкладное исчисление предикатов
classical predicate calculusклассическое исчисление предикатов
constructive predicate calculusконструктивное исчисление предикатов
deductive predicate calculusдедуктивное исчисление предикатов
extended predicate calculusрасширенное исчисление предикатов
higher predicate calculusисчисление предикатов высших порядков
modal predicate calculusмодальное исчисление предикатов
monadic predicate calculusисчисление одноместных предикатов
multivalued predicate calculusмногозначное исчисление предикатов
one-place predicate calculusодноместное исчисление предикатов
one-place predicate calculusисчисление одноместных предикатов
positive predicate calculusпозитивное исчисление предикатов
predicate calculusисчисление предикатов
predicate calculus with generalizationисчисление предикатов с обобщением
predicate calculus with identityисчисление предикатов с равенством
predicate calculus without identityисчисление предикатов без равенства
proper predicate calculusсобственное исчисление предикатов
pure predicate calculusчистое исчисление предикатов
restricted predicate calculusузкое исчисление предикатов
several-sorted predicate calculusисчисление предикатов с переменными нескольких видов
several-sorted predicate calculusисчисление предикатов с несколькими сортами переменных
singular predicate calculusсингулярное исчисление предикатов
two-valued predicate calculusдвузначное исчисление предикатов (классическое)

Get short URL