计算机科学

计算机科学的基本结构.pdf

本书按照程序设计技术与基本数学概念相结合的原则,全面而又系统地论述了控制结构、数据结构及其相互作用,是一本计算机科学与软件工程的基础教材. 本书分四部分,共二十三章.第一部分为第一至第六章,讨论基本控制结构;第二部分为第七至第十二章,讨论基本数据结构;第三部分为第

电子数字计算机原理. 第四册.pdf

本书介绍计算机的输入输出系统和外围设备。第一章以典型的机器为背景介绍了输入输出方式及其实现。第二章至第七章介绍了数据输入设备、打印设备、终端显示、磁盘存贮器、磁带存贮器和汉字输入输出设备。重点介绍国内外常用的和较为先进的设备,侧重于它们的原理和特点。 本书是计算机

集论与逻辑 : 面向计算机科学.pdf

本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧,对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。

计算机科学中的逻辑学.pdf

本书介绍了数理逻辑的基本内容和针对计算机的应用而发展出来的各种逻辑——模态逻辑、时态逻辑、动态逻辑、模糊逻辑、非单调逻辑等,并介绍了λ-演算和组合逻辑.全书除第十一章外,均附有一定数量的习题. 本书特别适合计算机专业有关人员,内容丰富,且深入浅出,可作为计算机各专

电子数字计算机原理. 第二册.pdf

《电子数字计算机原理》第二册共分四章,第一章介绍常规控制的计算机的运算器和控制器,有三个附录,介绍加法器设计,两种舍入规则和计算机速度估算的一种方法.第二章介绍微程序控制的计算机中央处理器和微程序设计技术,有四个附录,分别介绍模型机指令表,增码规则,模型机微命令和部分微程序.第三

计算机科学中的数学基础.pdf

数学与计算机科学有着紧密的联系.本书比较全面地介绍了计算机科学所需的数学知识,其中包括数制、开关代数、数论、数理逻辑、集合论、递归、概率论、图论、形式语言与自动机等九个方面. 本书内容丰富,叙述由浅入深,注意从例子出发引入和阐述有关理论、概念,特别注重介绍与计算机

计算机科学导论.pdf

本书采用史论结合,以史引论的方式,按照计算机学科历史渊源、发展过程、学科知识体系组织内容,包括计算机发展史、计算机科学基本理论的形成与发展、程序设计语言原理与发展等。