计算机科学技术百科全书

本书根据计算机学科的内在联系、相关程度与性质特点，划分为“计算机科学理论”、“计算机组织与体系结构”、“计算机硬件”、“计算机应用技术”和“人工智能”6大分支，按4级框架，共设置1293个条目200多万字。

目录 计算机科学技术总论 条目分类目录 正文 条目汉语音序索引 INIDEXOF ARTICLES（条目外文索引） 内容索引 附录I 缩略语 附录Ⅱ 计算机及相关学科科技期刊 附录Ⅲ 计算机及相关学科学术团体 彩色插页 回归分析法 排队论 参数估计 假设检验 离散数学 集合论 集合 集合运算 映射 关系 序数 基数 逻辑学 数理逻辑 命题逻辑 一阶逻辑 高阶逻辑 哥德尔完全性定理 模型论 霍恩逻辑 多值逻辑 模糊逻辑 模态逻辑 时态逻辑 线性逻辑 组合逻辑 非单调逻辑 直觉主义逻辑 代数学 抽象代数 群 环 域 格 完全偏序 布尔代数 多类代数 关系代数 （基调）代数 计算机代数 范畴论 图论 有向图 无向图 树 平面图 最短路径问题 中国邮路问题 计算数论 素数 筛法 素性测试 最大公因子 因子分解 同余 孙子定理 组合学 密码学 计算理论 算法 并行算法 概率算法 组合算法 排序算法 VLSI算法 脉动算法 算法学 算法设计 计算复杂性理论 复杂性度量 时间复杂性 空间复杂性 复杂性归约 图灵归约 多项式时间归约 多项式空间归约 多项式谱系 NP完全性理论 P类问题 NP类问题 NP完全问题 NP完全问题近似方法 可计算性理论 可计算函数 原始递归函数 哥德尔配数 递归函数 阿克曼函数 可判定问题 不可判定问题 停机问题 波斯特对应问题 自动机理论 有限自动机 下推自动机 线性有界自动机 图灵机 波斯特机 随机存取机 堆栈自动机 有限自动机 概率自动机 细胞自动机 形式语言理论 乔姆斯基层次 文法 正则文法 上下文无关文法 上下文有关文法 短语结构文法 巴克斯范式 正则表达式 线性文法 乔姆斯基范式 格雷贝奇范式 LR（k）文法 属性文法 佩特里网论 程序理论 形式语义 操作语义 指称语义 公理语义 代数语义 论域理论 λ演算 类型理论 马丁洛夫类型理论 多态类型 并发模型 进程代数 通信系统演算 通信顺序进程 程序逻辑 混合计算模型 混合自动机 时段演算 程序验证 计算机组织与体系结构 电子计算机 数字计算机 模拟计算机 混合计算机 数字微分分析机 计算机类型 微型计算机 微处理器 位片计算机 单片计算机 数字信号处理器 移动式计算机 笔记本计算机 工作站 图形工作站 小型计算机 超级小型计算机 大型计算机 巨型计算机 小巨型计算机 嵌入式计算机 服务器 数据库服务器 因特网服务器 过程控制计算机 容错计算机 抗恶劣环境计算机 绿色计算机 非传统计算机 数据流计算机 归约机 LISP机 逻辑推理机 日本第五代计算机 数据库机 知识库机 神经计算机 光计算机 生物计算 量子计算 计算机组织 计算机运算基础 数制 浮点数标准 字符集 算术逻辑运算 二进制算术运算（binaryary　arithmetic　operation） 逻辑运算 指令系统 指令类型 指令格式 寻址方式 中央处理器 运算器 硬连线控制器 微程序控制器 数据通路 机器周期 时序系统 中断 存储器组织 存储器类型 主存储器 辅助存储器 交错存储器 存储器差错校验 存储器性能 输入输出技术 系统总线 总线标准 输入输出通道 输入输出接口 数据传送 直接存储器存 假脱机 模数转换 数模转换 终端 计算机系统结构 处理机体系结构 复杂指令集计算机 精简指令集计算机 计算机流水线 多发射结构 指令级并行处理 协处理器 关联处理机 脉动阵列 存储系统 存储管理 存储保护 高速缓冲存储器 高速缓冲存储器一致性 虚拟存储器 转换检测缓冲器 联想存储器 转移目标缓冲器 先进先出缓冲器 并行处理系统 阵列处理机 大规模并行处理 硬件同步机制 互联网 多处理机系统总线 系统总线仲裁器 共享存储 共享虚拟存储 分布式共享存储 消息传递 路由选择 并行处理系统加速比 处理机利用率 分布式处理系统 客户－服务器计算 计算机簇 分布式异构型计算机系统 分布式计算环境 分布式数据库 计算机支持协同工作 开放系统 系统兼容性 计算机网络 网络体系结构 OSI网络体系结构 网络协议 局域网协议标准 广域网协议标准 TCP/IP协议 TCP/IP） MAP/TOP协议 点对点连接协议 协议工程 网络分类 局域网 以太网 权标总线网 权标环网 光纤分布式数据接口 专用交换分机 城域网 交换式多兆位数据业务 广域网 公用交换电话网 租用线路网 公用数据网 综合业务数字网 帧中继 异步传送模式 网络互连技术 网络互连设备 中继器 网桥 路由器 网关 网络互连协议 网络管理 感知器 反传学习 Hopfield神经网络模型 玻耳兹曼机 适应谐振理论 自组织映射模型 联想记忆 小脑网络模型