中国百科大词典－18.pdf

本PDF文件由S22PDF生成, S22PDF的版权由 郭力 所有 pdf@home.icm.ac.cn 中国百科大 辞 典 中国百科大辞典编委会　编 计算机与自动控制 本PDF文件由S22PDF生成, S22PDF的版权由 郭力 所有 pdf@home.icm.ac.cn 目　　录 １ 计算机与自动控制 计算机科学 计算机科学…………………………………………………… １ 计算机技术…………………………………………………… １ 计算机制造业………………………………………………… １ 计算机服务业………………………………………………… １ 计算机系统配置……………………………………………… ２ 计算技术……………………………………………………… ２ 计算机系统性能评价………………………………………… ２ 计算机系统可靠性…………………………………………… ２ 自动机论……………………………………………………… ２ 可计算性理论………………………………………………… ２ 网论…………………………………………………………… ３ 非确定性……………………………………………………… ３ 算法语言……………………………………………………… ３ 形式语言理论………………………………………………… ３ 正则语言……………………………………………………… ３ 抽象语言族…………………………………………………… ４ 程序设计理论………………………………………………… ４ 形式语义学…………………………………………………… ４ 程序逻辑……………………………………………………… ４ 本PDF文件由S22PDF生成, S22PDF的版权由 郭力 所有 pdf@home.icm.ac.cn ２ 目　　录 程序验证……………………………………………………… ４ 编码…………………………………………………………… ４ 定点运算……………………………………………………… ４ 浮点运算……………………………………………………… ５ 艾肯…………………………………………………………… ５ 埃克脱………………………………………………………… ５ 莫奇利………………………………………………………… ５ 霍珀…………………………………………………………… ６ 享斯菲尔德…………………………………………………… ６ 图灵…………………………………………………………… ６ 系统结构 电子计算机…………………………………………………… ７ 数字计算机…………………………………………………… ７ 定点计算机…………………………………………………… ７ 浮点计算机…………………………………………………… ７ 模拟计算机…………………………………………………… ７