计算机科学
集论与逻辑 : 面向计算机科学
《集论与逻辑 : 面向计算机科学》,作者:沈恩绍著 出版社:科学出版社 ISBN:7030110471。本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧,对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
计算机科学的基本结构
《计算机科学的基本结构》,作者:(美)伍尔夫(Wulf, W.A.)等著;郑茂松等译 出版社:科学出版社 ISBN:15031774。本书按照程序设计技术与基本数学概念相结合的原则,全面而又系统地论述了控制结构、数据结构及其相互作用,是一本计算机科学与软件工程的基础教材. 本书分四部分,共二十三章.第一部分为第一至第六章,讨论基本控制结构;第二部分为第七至第十二章,讨论基本数据结构;第三部分
计算机科学实验教程. 第1分册
《计算机科学实验教程. 第1分册》,作者:张继红,赵致琢,刘坤起编 出版社:科学出版社 ISBN:703015780X。本书通过15个单元讲述了计算机系统、键盘输入法、DOS命令、Windows操作系统、计算机网络、Word 2003、Excel 2003、PowerPoint 2003等方面的内容。
计算机科学中的数学基础
《计算机科学中的数学基础》,作者:施伯乐等编著 出版社:科学出版社 ISBN:7030012364。数学与计算机科学有着紧密的联系.本书比较全面地介绍了计算机科学所需的数学知识,其中包括数制、开关代数、数论、数理逻辑、集合论、递归、概率论、图论、形式语言与自动机等九个方面. 本书内容丰富,叙述由浅入深,注意从例子出发引入和阐述有关理论、概念,特别注重介绍与计算机
计算机科学理论 : 程序设计途径
《计算机科学理论 : 程序设计途径》,作者:(英)布雷迪(Brady, J.M.)著;陆佑珊,陈慧清译 出版社:科学出版社 ISBN:7030002458。本书从程序设计的角度讨论了计算机科学理论,描述了计算机科学理论的主要问题,讨论元计算机科学和计算机科学理论。
计算机科学技术名词 : 2002 | 2版
《计算机科学技术名词 : 2002 | 2版》,作者:计算机科学技术名词审定委员会编 出版社:科学出版社 ISBN:7030097254。
