查询词典 predicate function

computable predicate：可算述词

可算函数 computable function | 可算述词 computable predicate | 计算 computation

general recursive predicate：一般递归谓词

general recursive function 一般递归函数 | general recursive predicate 一般递归谓词 | general recursive relation 一般递归关系

predecessor function：前钳数

predecessor 前趋 | predecessor function 前钳数 | predicate 谓词

primitive recursive function：基元遞迴函數

原始遞迴 primitive recursive | 基元遞迴函數 primitive recursive function | 基元遞迴述訪 primitive recursive predicate

primitive recursive isomorphism：原始递归同构

primitive recursive function 原始递归函数 | primitive recursive isomorphism 原始递归同构 | primitive recursive predicate 原始递归渭词

primitive recursive predicate：基元遞迴述訪

基元遞迴函數 primitive recursive function | 基元遞迴述訪 primitive recursive predicate | 基元狀態表 primitive state table

singular point of a surface：曲面的奇点

singular point of a function 奇异点 | singular point of a surface 曲面的奇点 | singular predicate 单谓词

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul