first-order logic

Английский Язык - Английский Язык

Определение first-order logic в Английский Язык Английский Язык словарь

Связанные Термины

first-order logic

A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse

First-order logic.

predicate logic

first-order logic.

FOL

Расстановка переносов

first-order log-ic

Синонимы

fol