等式逻辑 equational logic 等式逻辑的意思 equational logic的意思等式逻辑的英文 equational logic的翻译

等式逻辑

规范用词等式逻辑

英文对照equational logic

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

公布时间2002年

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

等式逻辑 equational logic 等式逻辑的意思 equational logic的意思 等式逻辑的英文 equational logic的翻译

等式逻辑

等式逻辑 equational logic 等式逻辑的意思 equational logic的意思等式逻辑的英文 equational logic的翻译