Логика предикатов первого порядка

Материал из Онтологическое моделирование

Перейти к: навигация, поиск

Логика предикатов первого порядка - формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний.

(First Order Logic)

Синоним: Логика первого порядка

Источник: http://ru.math.wikia.com

Факты: Логика предикатов первого порядка
SameAs Логика первого порядка  +
Источник — «http://ontology.ipi.ac.ru/index.php/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_%D0%BF%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82%D0%BE%D0%B2_%D0%BF%D0%B5%D1%80%D0%B2%D0%BE%D0%B3%D0%BE_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D0%B0»
Личные инструменты