查询词典 predicate logic

extended point transformation：延拓的点交换

扩张的正交群 extended orthogonal group | 延拓的点交换 extended point transformation | 广义谓词演算 extended predicate calculus

extended predicate calculus：广义谓词演算

extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设

extended riemann hypothesis：广义黎曼假设

extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设 | extended unitary group 广义酉群

general recursive predicate：一般递归谓词

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

general recursive relation：一般递归关系

general recursive predicate 一般递归谓词 | general recursive relation 一般递归关系 | general set theory 一般集合论

implicative predicate：蕴含谓词

imperative 祈使句 | implicative predicate 蕴含谓词 | implicature 含意

restricted lie algebra：限制李代数

restricted holonomy group 限制完整群 | restricted lie algebra 限制李代数 | restricted predicate calculus 狭谓词演算

recursive pattern matcher：递归模式匹配程序

recursive orbit 回归轨道 | recursive pattern matcher 递归模式匹配程序 | recursive predicate 递归谓词

recursive pattern matcher：递归型样匹配器

递归方法 recursive method | 递归型样匹配器 recursive pattern matcher | 递归述词 recursive predicate

recursive pattern matcher：递回型样匹配器

"递回方法","recursive method" | "递回型样匹配器","recursive pattern matcher" | "递回述词","recursive predicate"

HIGH PRIESTESS：女教皇

原来在这房里的床上有一本日记,里面有一首诗它会提示你怎么放,经过了细心的推敲后,决定在左上角摆夜之眼(Eye Of Night)这张,左方的中间就摆女教皇(High Priestess),最下面的中间就放上吊男(Hanged Man);最右手边的中间就放愚者(Fool),

charades：用动作等表演的字谜游戏

characterization 人物塑造 | charades 用动作等表演的字谜游戏 | charisma (大众爱戴的)领袖气质,魅力