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