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

Сала: Информатика және есептеуіш техника

Орысшасы :

Анықтама

[өзгерту]

Басқа нәтижелер

Исчисление предикатов второго порядка Исчисление предикатов вечный двигатель первого порядка логика первого порядка Бородки первого порядка Реакция первого порядка Хищник первого порядка Звено первого (второго) порядка Дифференциальное уравнение первого порядка