计算逻辑 computational logic 计算逻辑的意思 computational logic的意思计算逻辑的英文 computational logic的翻译

计算逻辑

规范用词计算逻辑

英文对照computational logic

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

公布时间2002年

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

计算逻辑相关科技名词

计算机科学理论»

摩尔机[器]Moore machine
复杂性complexity
计算复杂性computation complexity
公理复杂性axiomatic complexity
科尔莫戈罗夫复杂性Kolmogrov complexity
复杂性类complexity class
可满足性问题satisfiability problem
三元可满足性three-satisfiability
哈密顿回路问题Hamilton circuit problem
团集覆盖问题clique cover problem
并定理union theorem
加速定理speed-up theorem
旅行商问题traveling salesman problem
间隙gap
间隙定理gap theorem
完全集complete set
标签集tally set
禁集immune set
度degree
稀疏集sparse set
度量measure
指数时间exponential time
多项式空间polynomial space
多项式时间polynomial time
时间有界图灵机time-bounded Turing machine
时间复杂性time complexity
时间复杂度time complexity
时间谱系time hierarchy
空间有界图灵机space-bounded Turing machine
空间复杂性space complexity
空间复杂度space complexity
空间谱系space hierarchy
非确定计算non-deterministic computation
非确定时间复杂性non-deterministic time complexity
非确定时间谱系non-deterministic time hierarchy
非确定空间复杂性non-deterministic space complexity
线性加速定理linear speed-up theorem
恰当覆盖问题exact cover problem
难解型问题intractable problem
离线图灵机off-line Turing machine

计算逻辑 computational logic 计算逻辑的意思 computational logic的意思 计算逻辑的英文 computational logic的翻译

计算逻辑

计算逻辑 computational logic 计算逻辑的意思 computational logic的意思计算逻辑的英文 computational logic的翻译