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

查询词典 predicate logic

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

eventuality predicate:事件谓词

谓词隐含:Implicit predicate | 事件谓词:eventuality predicate | 主谓句:subject-predicate sentence

multiline:多行

静态或谓词(predicate)字段的数组访问静态或谓词(predicate)字段的任意的方法调用(没有基于参数的候选方法)以上所述情况的谓词(predicate)方法注意:当前的实现还不支持多态机制和多行(multiline)方法.

predicate nominative:謂語名詞

predicate lowering 謂語降低 | predicate nominative 謂語名詞 | predicate noun 謂語性名詞

predicate calculus of the third order:三阶谓词演算

predicate calculus 谓词演算 | predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算

predicate calculus with identity:带恒等式的谓词演算

predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数

predicate calculus:述詞演算

predicate phrase adverbial 述詞組狀語 | predicate calculus 述詞演算 | predicate variable 述語變數

predicate symbol:謂語符號

predicate raising 謂語提升 | predicate symbol 謂語符號 | predicate variable 述語變數

predicate variable:谓词变元

谓词|predicate | 谓词变元|predicate variable | 谓词演算|predicate calculus, functional calculus

predicate fronting:謂語移首

predicate calculus 述詞演算 | predicate fronting 謂語移首 | predicate lifting 謂語提升

logic gate:辑门

13、binary logic: 二元逻辑 1、计算机系统中用来对二元变量进行逻辑操作(logic operation)的电子部件. 这种部件由逻辑门(logic gate)和逻辑电路(logic circuit)组成. 2、实现上述逻辑操作的方法和原理.

第2/100页 首页 < 1 2 3 4 5 6 7 8 9 ... > 尾页
相关中文对照歌词
Saturday (Skit)
Relatives
Autologic
UK Jamaican
Give It To Me
Sell Out Records (Skit)
Predicate Rap
Just Another Day (In My Mind)
Highs & Lows
Drinkin' Songs And Other Logic
推荐网络解释

Hadrian Wall:哈德 城墙 / 哈德 城墙

Hadden-Cave, Philip 夏鼎基 | Hadrian Wall 哈德 城墙 / 哈德 城墙 | Haeckel, Ernst 海克尔

skilled:熟练的

skill 技能 | skilled 熟练的 | skillet 煮锅

John Pasquin:导 演 约翰.帕斯金

◎导 演 约翰.帕斯金 John Pasquin | ◎主 演 桑德拉.布洛克 Sandra Bullock ....Gracie Hart | 雷吉娜.金 Regina King ....Sam Fuller