计算机科学
电子数字计算机原理. 第二册.pdf
《电子数字计算机原理》第二册共分四章，第一章介绍常规控制的计算机的运算器和控制器，有三个附录，介绍加法器设计，两种舍入规则和计算机速度估算的一种方法．第二章介绍微程序控制的计算机中央处理器和微程序设计技术，有四个附录，分别介绍模型机指令表，增码规则，模型机微命令和部分微程序．第三
计算机科学中的逻辑学.pdf
本书介绍了数理逻辑的基本内容和针对计算机的应用而发展出来的各种逻辑——模态逻辑、时态逻辑、动态逻辑、模糊逻辑、非单调逻辑等，并介绍了λ－演算和组合逻辑．全书除第十一章外，均附有一定数量的习题． 本书特别适合计算机专业有关人员，内容丰富，且深入浅出，可作为计算机各专
集论与逻辑 : 面向计算机科学.pdf
本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
电子数字计算机原理. 第四册.pdf
本书介绍计算机的输入输出系统和外围设备。第一章以典型的机器为背景介绍了输入输出方式及其实现。第二章至第七章介绍了数据输入设备、打印设备、终端显示、磁盘存贮器、磁带存贮器和汉字输入输出设备。重点介绍国内外常用的和较为先进的设备，侧重于它们的原理和特点。 本书是计算机
- «
- »