计算机科学技术学科分类 ◆计算机科学的基础理论 ◆理论计算机科学 ◆新型计算模型 ◆计算机编码理论 ◆算法及其复杂性 ◆容错计算 ◆形式化方法 ◆机器智能基础理论与方法计算机科学技术学科分类 ◆计算机科学的基础理论 ◆理论计算机科学 ◆新型计算模型 ◆计算机编码理论 ◆算法及其复杂性 ◆容错计算 ◆形式化方法 ◆机器智能基础理论与方法