英语人>网络解释>predicate constant 相关的网络解释
predicate constant相关的网络解释

查询词典 predicate constant

与 predicate constant 相关的网络解释 [注:此内容来源于网络,仅供参考]

Classes:类

如众所知(A)的真假乃是源于P中隐藏的真值述词的语意上的意义,或则是源自P对尚未决定之"类"(classes)或集合的量化(quant if ication). 此处吾人认为吾人可以更进一步的延伸此一诡论的架构,亦即是以某些语句述词(sentential predicate)来代替"真"与"假"二词.

one point compactification:单点紧化

one place predicate calculus 一元谓词演算 | one point compactification 单点紧化 | one point set 退化集

computable predicate:可算述词

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

subject-predicate contraposition:主謂連詞

predication theory 主謂理論 | subject-predicate contraposition 主謂連詞 | subject preposition deletion 主謂結構

direct object:直接宾语

主语:(subject) 名词,代词,或相当于它们的词组,动名词,动词不定式,从句谓语:(Predicate) 动词以及词组表语: (Predictive)名词,形容词,介词词组,某些副词,动名词,动词不定式,从句宾语: (object) 直接宾语(direct object) 间接宾语(indirect object) ,

extended point transformation:开拓的点变换

extended plane 扩张平面 | extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算

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 一般递归关系

第41/100页 首页 < ... 37 38 39 40 41 42 43 44 45 ... > 尾页
相关中文对照歌词
Predicate Rap
The Only Constant Is Change
Constant Craving
Constant Craving
Constant
You Owe Me An IOU
Constant
Life
Everywhere In Between
Overgrown
推荐网络解释

Minstrel Show:化装黑人乐队的演出

show cause 提出正当理由 | minstrel show 化装黑人乐队的演出 | medicine show 走江湖卖药

punctual aspect:準時式;準時體;一次體

punched card 穿孔卡片 | punctual aspect 準時式;準時體;一次體 | punctuation 標點符號用法

airborne gun sight:机载炮火瞄准器

airborne gun laying radar 机载炮瞄雷达 | airborne gun sight 机载炮火瞄准器 | airborne height-surveillance radar 机载高度监视雷达