екінші тәртіп предикаттары есептеуі

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

Ағылшыншасы : second-order predicate calculus

екінші

екінші екі+нші
корпустан іздеу

есептеуі

есептеуі есеп+те+у+і
корпустан іздеу

предикаттары

предикаттары предикат+тар+ы
корпустан іздеу

тәртіп

тәртіп тәртіп
корпустан іздеу

Анықтама

[өзгерту]
Екінші тәртіп предикаттары есептеуі – логикада және математикалық логикада предикаттарды және олардың қасиеттерін зерттейтін сала.

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

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