经典逻辑 classical logic 经典逻辑的意思 classical logic的意思经典逻辑的英文 classical logic的翻译

经典逻辑

规范用词经典逻辑

英文对照classical logic

名词审定计算机科学技术名词审定委员会

公布时间2002年

科学技术名词为您提供经典逻辑,classical logic,经典逻辑的意思,classical logic的意思,经典逻辑的英文,classical logic的翻译,经典逻辑的翻译,经典逻辑是什么意思,经典逻辑什么意思,classical logic是什么意思,classical logic什么意思

经典逻辑相关科技名词

计算机科学理论»

真值表归约truth-table reduction
调度问题scheduling problem
着色数目问题chromatic number problem
强连通问题strong connectivity problem
整数线性规划integer linear programming
谕示oracle
谕示机oracle machine
P完全问题P-complete problem
可归约性reducibility
多一可归性many-one reducibility
图灵可归约性Turing reducibility
纯正可归约性honest reducibility
真值表可归约性truth-table reducibility
库克可归约性Cook reducibility
卡普可归约性Karp reducibility
并行计算论题parallel computation thesis
多项式可归约[的]polynomial reducible
多项式可转换[的]polynomial transformable
多项式有界[的]polynomial-bounded
多项式时间归约polynomial time reduction
多项式对数时间polylog time
多项式对数深度polylog depth
多项式谱系polynomial hierarchy
性能保证performance guarantee
性能比performance ratio
伪多项式变换pseudo polynomial transformation
相对化relativization
语言识别language recognition
NP完全问题NP-complete problem
NP困难问题NP-hard problem
邻接表结构adjacency list structure
邻接矩阵adjacency matrix
邻接关系adjacency relation
先辈ancestor
近似算法approximation algorithm
关节点articulation point
平均性态分析average-behavior analysis
回边back edge
性态behavior
双分支bicomponent

经典逻辑 classical logic 经典逻辑的意思 classical logic的意思 经典逻辑的英文 classical logic的翻译

经典逻辑

经典逻辑 classical logic 经典逻辑的意思 classical logic的意思经典逻辑的英文 classical logic的翻译