Sign in | English | Terms of Use
DictionaryForumContacts
Terms containing predicate calculus | all forms | exact matches only | in specified order only
SubjectEnglishRussian
math.applied predicate calculusприкладное исчисление предикатов
progr.brief introduction to predicate calculusкраткое введение в исчисление предикатов (ssn)
math.classical predicate calculusклассическое исчисление предикатов
math.constructive predicate calculusконструктивное исчисление предикатов
math.deductive predicate calculusдедуктивное исчисление предикатов
math.extended predicate calculusрасширенное исчисление предикатов
comp.first order predicate calculusисчисление предикатов первого порядка
progr.goals, often expressed in a predicate calculusцели, часто выраженные в терминах исчисления предикатов (ssn)
math.higher predicate calculusисчисление предикатов высших порядков
progr.in a predicate calculusв терминах исчисления предикатов (ssn)
math.modal predicate calculusмодальное исчисление предикатов
math.monadic predicate calculusисчисление одноместных предикатов
math.multivalued predicate calculusмногозначное исчисление предикатов
math.one-place predicate calculusодноместное исчисление предикатов
math.one-place predicate calculusисчисление одноместных предикатов
math.positive predicate calculusпозитивное исчисление предикатов
ITpredicate calculusисчисление предикатов :
math.predicate calculusисчисление предикатов
progr.predicate calculus and proving theoremsисчисление предикатов и доказательство теорем (ssn)
automat.predicate calculus languageязык исчисления предикатов
mech.predicate calculus machineryаппарат исчисления предикатов
progr.predicate calculus propositionsвысказывания в исчислении предикатов (ssn)
math.predicate calculus with generalizationисчисление предикатов с обобщением
math.predicate calculus with identityисчисление предикатов с равенством
math.predicate calculus without identityисчисление предикатов без равенства
math.proper predicate calculusсобственное исчисление предикатов
math.pure predicate calculusчистое исчисление предикатов
math.restricted predicate calculusузкое исчисление предикатов
math.several-sorted predicate calculusисчисление предикатов с переменными нескольких видов
math.several-sorted predicate calculusисчисление предикатов с несколькими сортами переменных
math.singular predicate calculusсингулярное исчисление предикатов
math.two-valued predicate calculusдвузначное исчисление предикатов (классическое)

Get short URL