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