Предикаттық есептеу

Сала: Әдебиет және лингвистика

Ағылшыншасы : Predicate calculus

есептеу

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

предикат

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

Анықтама

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

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

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