谓词演算 на русском wèicí yǎnsuàn Значения Примеры использования В начале слов Сегментирование сущ. мат. логика предикатов ; функциональное исчисление ; исчисление предикатов + Добавить перевод