911chaxun查询科学技术名词计算机科学理论
科尔莫戈罗夫复杂性
规范用词科尔莫戈罗夫复杂性
英文对照Kolmogrov complexity
名词审定计算机科学技术名词审定委员会
见载刊物《计算机科学技术名词（第二版）》 科学出版社
公布时间2002年
科学技术名词为您提供科尔莫戈罗夫复杂性,Kolmogrov complexity,科尔莫戈罗夫复杂性的意思,Kolmogrov complexity的意思,科尔莫戈罗夫复杂性的英文,Kolmogrov complexity的翻译,科尔莫戈罗夫复杂性的翻译,科尔莫戈罗夫复杂性是什么意思,科尔莫戈罗夫复杂性什么意思,Kolmogrov complexity是什么意思,Kolmogrov complexity什么意思
科尔莫戈罗夫复杂性 相关科技名词
- 多值逻辑multiple value logic
- 模糊逻辑fuzzy logic
- 应用逻辑applied logic
- 归结resolution
- 子句clause
- 基子句ground clause
- 霍恩子句Horn clause
- 矢列式sequent
- 关系逻辑relational logic
- 重写规则[系统]rewriting rule [system]
- 定理证明器theorem prover
- 截除cut
- 逻辑系统logical system
- 多类逻辑many-sorted logic
- 代数数据类型algebraic data type
- 经典逻辑classical logic
- 形式演算formal calculus
- 逻辑演算logic calculus
- 霍尔逻辑Hoare logic
- 过程逻辑process logic
- 程序设计逻辑programming logic
- 连续算子continuous operator
- 细胞自动机cellular automata
- 程序验证器program verifier
- 程序验证program verification
- 符号演算symbolic calculus
- 计算逻辑computational logic
- 变换系统transformation system
- 构造性证明constructive proof
- 类型论type theory
- 线性归结linear resolution
- 区间时态逻辑interval temporal logic
- 等式逻辑equational logic
- 超归结hyper-resolution
- 证明策略proof strategy
- 模态modality
- 模态逻辑modal logic
- 因果逻辑causal logic
- 直觉主义逻辑intuitionistic logic
- 代数逻辑algebraic logic
别人正在查