Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms containing исчисление предикатов | all forms | exact matches only | in specified order only
SubjectRussianEnglish
mech.аппарат исчисления предикатовpredicate calculus machinery
math.бинарное исчисление предикатовbinary functional calculus
progr.в терминах исчисления предикатовin a predicate calculus (ssn)
progr.высказывания в исчислении предикатовpredicate calculus propositions (ssn)
math.двузначное исчисление предикатовtwo-valued predicate calculus (классическое)
math.дедуктивное исчисление предикатовdeductive predicate calculus
math.исчисление одноместных предикатовone-place predicate calculus
math.исчисление одноместных предикатовmonadic predicate calculus
tech.исчисление предикатовpredicative calculus
math.исчисление предикатовpredicate calculus
math.исчисление предикатовPC (predicate calculus)
ITисчисление предикатов :predicate calculus
tech.исчисление предикатовfunctional calculus
math.исчисление предикатов без равенстваpredicate calculus without identity
math.исчисление предикатов высших порядковhigher predicate calculus
progr.исчисление предикатов и доказательство теоремpredicate calculus and proving theorems (ssn)
ITисчисление предикатов N-ого порядкаN-order logic
math.исчисление предикатов первого порядкаfunctional calculus of first order (ssn)
comp.исчисление предикатов первого порядкаfirst-order logic
comp.исчисление предикатов первого порядкаelementary logic
comp.исчисление предикатов первого порядкаfirst order predicate calculus
math.исчисление предикатов с несколькими сортами переменныхseveral-sorted predicate calculus
math.исчисление предикатов с обобщениемpredicate calculus with generalization
math.исчисление предикатов с переменными нескольких видовseveral-sorted predicate calculus
math.исчисление предикатов с равенствомpredicate calculus with identity
math.классическое исчисление предикатовclassical predicate calculus
math.конструктивное исчисление предикатовconstructive predicate calculus
progr.краткое введение в исчисление предикатовbrief introduction to predicate calculus (ssn)
Gruzovik, ITлогика исчисления предикатовpredicate logic
math.многозначное исчисление предикатовmultivalued predicate calculus
math.модальное исчисление предикатовmodal predicate calculus
math.нижнее исчисление предикатовLPC (lower predicate calculus)
math.одноместное исчисление предикатовone-place predicate calculus
math.позитивное исчисление предикатовpositive predicate calculus
math.прикладное исчисление предикатовapplied predicate calculus
math.расширенное исчисление предикатовextended predicate calculus
math.сингулярное исчисление предикатовsingular predicate calculus
math.собственное исчисление предикатовproper predicate calculus
math.узкое исчисление предикатовRPC (restricted predicate calculus)
math.узкое исчисление предикатовrestricted predicate calculus
progr.цели, часто выраженные в терминах исчисления предикатовgoals, often expressed in a predicate calculus (ssn)
math.чистое исчисление предикатовpure predicate calculus
math.чистое исчисление предикатовPPC (pure predicate calculus)
automat.язык исчисления предикатовpredicate calculus language

Get short URL