二阶逻辑 second order logic 二阶逻辑的意思 second order logic的意思二阶逻辑的英文 second order logic的翻译

二阶逻辑

规范用词二阶逻辑

英文对照second order logic

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

公布时间2002年

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

二阶逻辑 second order logic 二阶逻辑的意思 second order logic的意思 二阶逻辑的英文 second order logic的翻译

二阶逻辑

二阶逻辑 second order logic 二阶逻辑的意思 second order logic的意思二阶逻辑的英文 second order logic的翻译