функциональное исчисление на китайском сущ. мат. 函项演算 hán xiàng yǎnsuàn ; 谓词演算 wèicí yǎnsuàn др. общ. 函数演算