谓词演算
- 与 谓词演算 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
functional averaging method
泛数平均法
泛数平均法 functional averaging method | {基}谓词演算;函数运算法 functional calculus | 函数的上积 functional cup product
-
one point compactification
单点紧化
one place predicate calculus 一元谓词演算 | one point compactification 单点紧化 | one point set 退化集
-
functional cup product
函数的上积
{基}谓词演算;函数运算法 functional calculus | 函数的上积 functional cup product | 函数相关 functional dependence
-
extended point transformation
开拓的点变换
extended plane 扩张平面 | extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算
-
extended point transformation
延拓的点交换
扩张的正交群 extended orthogonal group | 延拓的点交换 extended point transformation | 广义谓词演算 extended predicate calculus
-
extended riemann hypothesis
广义黎曼假设
extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设 | extended unitary group 广义酉群
-
restricted lie algebra
限制李代数
restricted holonomy group 限制完整群 | restricted lie algebra 限制李代数 | restricted predicate calculus 狭谓词演算
-
one place number
单位数
one parameter family of curves 曲线的单参数族 | one place number 单位数 | one place predicate calculus 一元谓词演算
-
pure point spectrum
纯离散谱
pure mathematics 抽象数学 | pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算
-
predicated response
猜测响应
predicate logic language 谓词逻辑语言 | predicated response 猜测响应 | predicative calculus 谓词演算
- 推荐网络解释
-
Anopheles candidiensis：日月潭疟蚊
\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"
-
Gnome Milnes:GNOME：下的扫雷
2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;
-
Malmaison Edinburgh：爱丁堡
" The Macdonald Roxburghe Hotel"麦当劳roxburghe酒店 | " Malmaison Edinburgh"爱丁堡malmaison | " The Scotsman Hotel"苏格兰人酒店