Translation of "predicate calculus" into Russian

исчисление предикатов, предикатное исчисление are the top translations of "predicate calculus" into Russian.

predicate calculus noun grammar

(logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse. [..]

+ Add

English-Russian dictionary

  • исчисление предикатов

    noun neuter

    The MX series is based on first order predicate calculus.

    Серия MX основана на первой Исчисление предикатов

  • предикатное исчисление

  • Show algorithmically generated translations

Automatic translations of "predicate calculus" into Russian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "predicate calculus" into Russian in sentences, translation memory