Translation of "first-order logic" into Russian

базовая составляющая логики высшего порядка, базовая часть логики высшего порядка, базовое расширение логики высказываний are the top translations of "first-order logic" into Russian.

first-order logic noun grammar

(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. [..]

+ Add

English-Russian dictionary

  • базовая составляющая логики высшего порядка

  • базовая часть логики высшего порядка

    Логика высшего порядка является объединением логики первого, второго, третьего и т.д. порядков; иначе говоря, логика высшего порядка допускает высказывания над множествами произвольной глубины вложенности.

  • базовое расширение логики высказываний

  • Less frequent translations

    • квантификатор переменных
    • логика первого порядка
    • начальная форма предикатной логики
    • предикатная логика первого порядка
    • расширение логики высказываний первого порядка
    • философская система рассуждений с базовой семантикой
    • формализованный аналог обычной логики
    • чистая логика предикатов
    • чистое исчисление предикатов

  • Show algorithmically generated translations

Automatic translations of "first-order logic" into Russian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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