计算机科学技术百科全书

书籍目录

目录

计算机科学技术总论

条目分类目录

正文

条目汉语音序索引

INIDEXOF ARTICLES（条目外文索引）

内容索引

附录I 缩略语

附录Ⅱ 计算机及相关学科科技期刊

附录Ⅲ 计算机及相关学科学术团体

彩色插页

回归分析法

排队论

参数估计

假设检验

离散数学

集合论

集合

集合运算

映射

关系

序数

基数

逻辑学

数理逻辑

命题逻辑

一阶逻辑

高阶逻辑

哥德尔完全性定理

模型论

霍恩逻辑

多值逻辑

模糊逻辑

模态逻辑

时态逻辑

线性逻辑

组合逻辑

非单调逻辑

直觉主义逻辑

代数学

抽象代数

群

环

域

格

完全偏序

布尔代数

多类代数

关系代数

（基调）代数

计算机代数

范畴论

图论

有向图

无向图

树

平面图

最短路径问题

中国邮路问题

计算数论

素数

筛法

素性测试

最大公因子

因子分解

同余

孙子定理

组合学

密码学

计算理论

算法

并行算法

概率算法

组合算法

排序算法

VLSI算法

脉动算法

算法学

算法设计

计算复杂性理论

复杂性度量

时间复杂性

空间复杂性

复杂性归约

图灵归约

多项式时间归约

多项式空间归约

多项式谱系

NP完全性理论

P类问题

NP类问题

NP完全问题

NP完全问题近似方法

可计算性理论

可计算函数

原始递归函数

哥德尔配数

递归函数

阿克曼函数

可判定问题

不可判定问题

停机问题

波斯特对应问题

自动机理论

有限自动机

下推自动机

线性有界自动机

图灵机

波斯特机

随机存取机

堆栈自动机

有限自动机

概率自动机

细胞自动机

形式语言理论

乔姆斯基层次

文法

正则文法

上下文无关文法

上下文有关文法

短语结构文法

巴克斯范式

正则表达式

线性文法

乔姆斯基范式

格雷贝奇范式

LR（k）文法

属性文法

佩特里网论

程序理论

形式语义

操作语义

指称语义

公理语义

代数语义

论域理论

λ演算

类型理论

马丁洛夫类型理论

多态类型

并发模型

进程代数

通信系统演算

通信顺序进程

程序逻辑

混合计算模型

混合自动机

时段演算

程序验证

计算机组织与体系结构

电子计算机

数字计算机

模拟计算机

混合计算机

数字微分分析机

计算机类型

微型计算机

微处理器

位片计算机

单片计算机

数字信号处理器

移动式计算机

笔记本计算机

工作站

图形工作站

小型计算机

超级小型计算机

大型计算机

巨型计算机

小巨型计算机

嵌入式计算机

服务器

数据库服务器

因特网服务器

过程控制计算机

容错计算机

抗恶劣环境计算机

绿色计算机

非传统计算机

数据流计算机

归约机

LISP机

逻辑推理机

日本第五代计算机

数据库机

知识库机

神经计算机

光计算机

生物计算

量子计算

计算机组织

计算机运算基础

数制

浮点数标准

字符集

算术逻辑运算

二进制算术运算（binaryary　arithmetic　operation）

逻辑运算

指令系统

指令类型

指令格式

寻址方式

中央处理器

运算器

硬连线控制器

微程序控制器

数据通路

机器周期

时序系统

中断

存储器组织

存储器类型

主存储器

辅助存储器

交错存储器

存储器差错校验

存储器性能

输入输出技术

系统总线

总线标准

输入输出通道

输入输出接口

数据传送

直接存储器存

假脱机

模数转换

数模转换

终端

计算机系统结构

处理机体系结构

复杂指令集计算机

精简指令集计算机

计算机流水线

多发射结构

指令级并行处理

协处理器

关联处理机

脉动阵列

存储系统

存储管理

存储保护

高速缓冲存储器

高速缓冲存储器一致性

虚拟存储器

转换检测缓冲器

联想存储器

转移目标缓冲器

先进先出缓冲器

并行处理系统

阵列处理机

大规模并行处理

硬件同步机制

互联网

多处理机系统总线

系统总线仲裁器

共享存储

共享虚拟存储

分布式共享存储

消息传递

路由选择

并行处理系统加速比

处理机利用率

分布式处理系统

客户－服务器计算

计算机簇

分布式异构型计算机系统

分布式计算环境

分布式数据库

计算机支持协同工作

开放系统

系统兼容性

计算机网络

网络体系结构

OSI网络体系结构

网络协议

局域网协议标准

广域网协议标准

TCP/IP协议

TCP/IP）

MAP/TOP协议

点对点连接协议

协议工程

网络分类

局域网

以太网

权标总线网

权标环网

光纤分布式数据接口

专用交换分机

城域网

交换式多兆位数据业务

广域网

公用交换电话网

租用线路网

公用数据网

综合业务数字网

帧中继

异步传送模式

网络互连技术

网络互连设备

中继器

网桥

路由器

网关

网络互连协议

网络管理

感知器

反传学习

Hopfield神经网络模型

玻耳兹曼机

适应谐振理论

自组织映射模型

联想记忆

小脑网络模型

作者简介

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

 计算机科学技术百科全书下载