一阶逻辑 first order logic 一阶逻辑的意思 first order logic的意思一阶逻辑的英文 first order logic的翻译

一阶逻辑

规范用词一阶逻辑

英文对照first order logic

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

公布时间2002年

科学技术名词为您提供一阶逻辑,first order logic,一阶逻辑的意思,first order logic的意思,一阶逻辑的英文,first order logic的翻译,一阶逻辑的翻译,一阶逻辑是什么意思,一阶逻辑什么意思,first order logic是什么意思,first order 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

一阶逻辑 first order logic 一阶逻辑的意思 first order logic的意思 一阶逻辑的英文 first order logic的翻译

一阶逻辑

一阶逻辑 first order logic 一阶逻辑的意思 first order logic的意思一阶逻辑的英文 first order logic的翻译