Translation of "higher-order logic" into Russian

логика высшего порядка is the translation of "higher-order logic" into Russian.

higher-order logic
+ Add

English-Russian dictionary

  • логика высшего порядка

    form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics

  • Show algorithmically generated translations

Automatic translations of "higher-order logic" into Russian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "higher-order logic" into Russian in sentences, translation memory