Предикат логикасы

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

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

Анықтама

[өзгерту]
Предикат логикасы – бұл логиканың бір саласы, онда предикаттар мен олардың қатынастары зерттеледі.