该楼层疑似违规已被系统折叠 隐藏此楼查看此楼
系统软件 操作系统 编译器 应用软件 计算机游戏 办公自动化 网络软件 CAD软件 计算机程序 程序设计和程序设计实践 面向对象技术 程序设计语言 软件工程 软件复用 驱动程序 计算机模拟 程序设计方法学 数据和信息系统 数据结构 数据存储表示 数据加密 数据压缩 编码与信息论 文件 信息系统 管理信息系统 决策支持系统 - 专家系统 数据库 信息存储和数据存取 信息交互与表达 主要的研究领域 形式化基础 逻辑学 谓词逻辑 模态逻辑 时序逻辑 描述逻辑 数学 泛代数 递归论 模型论 概率论和数理统计 逻辑代数 布尔代数 离散数学 组合数学 图论 网论 信息论 理论计算机科学 形式语言 自动机 可计算性 算法 计算复杂性 描述复杂性 编译器 程序设计理论 信息论 类型理论 指称语义 微程序 遗传算法 并行计算 计算方法学 人工智能 计算机图形学 图像处理与计算机视觉 模式识别 语音识别 文字识别 签名识别 人脸识别 指纹识别 仿真与建模 数字信号处理 文档与文本处理 计算机应用 数值计算 数值分析 定理机器证明 计算机代数 工程计算 计算机化学 计算机物理 生物信息论 计算生物学 非数值计算 工厂自动化 办公室自动化 人工智能 信息存储与检索 符号语言处理 计算机辅助科学 计算机辅助设计 计算机辅助教学 计算机辅助管理 计算机辅助软件工程 机器人学 多媒体技术 人机交互 电子商务 特定技术 测试基准 机器视觉 数据压缩 软件设计模式 数字信号处理 文件格式 信息安全 国际互联网络 超大规模集成电路设计 网络传输协议 网络处理器技术 整数运算器 浮点运算器 矩阵运算处理器 网格 计算科学史 计算机历史 软件业历史 编程思想