计算机百科网>> 百科分类 >> 计算机科学 >> 理论计算机科学

"理论计算机科学" 分类下的词条该分类下有0个词条创建该分类下的词条

理论计算机科学

形式语言
自动机
可计算性
算法
计算复杂性
描述复杂性
编译器
程序设计理论
信息论
类型理论
指称语义
微程序
遗传算法
并行计算