若 S 为类型符号集合, ∑为运算符号集合,并且∑中每个运算符的类型形如... , 8g → so ( n = 0 ) , S ; ∈S ,则称〈 S , ∑》为基调。设 A = { A , Is∈S }为集族, ...
確定! 回上一頁