数据结构(第二版) 书籍
经典好书《数据结构(第二版)》读书内容简介:7年出版的原书的修订版。修订版在保持原书基本框架和特色的基础上对主要各章如:第一、二、三、四、六及九章等作了增删和修改。本书系统地介绍了各种类型的数据结构和查找、排序的各种方法。对每一种数据结构,除了详细阐述...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
数据结构与问题求解 书籍
经典好书《数据结构与问题求解》读书内容简介:用的观点介绍了数据结构和算法。本书中包含了C++的最新特性,任何地方都可以完全使用标准模板库(STL)。 C++允许程序员分开编写接口和实现,将它们保存在单独编译的文件中,并隐藏实现的具体细节。本书深入了一层:数据结构的接口和实现...详情
数理逻辑 书籍
经典好书《数理逻辑》读书内容简介:版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情
妈妈教的数学 书籍
经典好书《妈妈教的数学》读书内容简介:老师。如愿考入北京师范大学数学系。四年后的1985年,响应国家号召,回到母校北京师范大学附属实验中学教书。中国的教师节也是从那年开始的。不仅在课堂上授业解惑,也通过文字的形式来传播思想,把图书当作介绍数学学习方法的工具。在...详情
高等代数学 书籍
经典好书《高等代数学》读书内容简介:,包括数与多项式,行列式,线性方程组,矩阵,线性空间,二次型,线性变换,空间分解,矩阵相似,欧空间和酉空间,双线性型,张量积与外积等。内容较深厚,便于打下优势基础;观点较新,便于适应现代数学。还有若干较深选读内容。可作为高...详情
高等线性代数 书籍
经典好书《高等线性代数》读书内容简介:9年毕业于中国科学技术大学数学系,1981年获得理学硕士学位,1985年获得理学博士学位.曾在中国科技大学任教20年.1993年调到清华大学,2011年初被聘为南方科技大学教授,曾多次较长期访问或工作于美国,欧洲.曾任北京数学会副理事长,清华大学学位...详情
中国近代史上的关键人物 书籍
经典好书《中国近代史上的关键人物》读书内容简介: 《中国近代史上的关键人物(第3版)》以叙述关键人物生平事迹的方式,像说故事一般剖析清代后期历史演变的情形,既不失掌故轶闻之趣味,又能掌握历史发展之趋向,庶几可为以通史体裁写成的中国近代史著作之补充读物,以增进读者对中国近代历史之了解。作者简介详情