经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《数据结构与问题求解》读书内容简介:用的观点介绍了数据结构和算法。本书中包含了C++的最新特性，任何地方都可以完全使用标准模板库（STL）。　　　　C++允许程序员分开编写接口和实现，将它们保存在单独编译的文件中，并隐藏实现的具体细节。本书深入了一层：数据结构的接口和实现...详情

经典好书《数理逻辑》读书内容简介:版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情

经典好书《妈妈教的数学》读书内容简介:老师。如愿考入北京师范大学数学系。四年后的1985年，响应国家号召，回到母校北京师范大学附属实验中学教书。中国的教师节也是从那年开始的。不仅在课堂上授业解惑，也通过文字的形式来传播思想，把图书当作介绍数学学习方法的工具。在...详情

经典好书《高等代数学》读书内容简介:，包括数与多项式，行列式，线性方程组，矩阵，线性空间，二次型，线性变换，空间分解，矩阵相似，欧空间和酉空间，双线性型，张量积与外积等。内容较深厚，便于打下优势基础；观点较新，便于适应现代数学。还有若干较深选读内容。可作为高...详情

经典好书《高等线性代数》读书内容简介:9年毕业于中国科学技术大学数学系,1981年获得理学硕士学位,1985年获得理学博士学位.曾在中国科技大学任教20年.1993年调到清华大学,2011年初被聘为南方科技大学教授,曾多次较长期访问或工作于美国,欧洲.曾任北京数学会副理事长,清华大学学位...详情

经典好书《代数拓扑》读书内容简介: 作者简介详情

经典好书《未来是定数吗？》读书内容简介:奖得主伊利亚·普里戈金而作，集纳了普里戈金晚年的数次演讲和谈话内容，详细记录了普里戈金的生平简历。书中探讨了普里戈金在非平衡物理学、时间在复杂性认识论中的作用，以及生命与因特网方面的观点和思想。作者简介伊利亚·普里戈金，比...详情

经典好书《スピヴァック多変数の解析学》读书内容简介:とくに、概念や方法が微妙で、初等的な段階では厳密にやりぬくことの難かしい部分に主眼をおいた。本書で採用した方法は、高級な数学の現代的方法を初等的に書きなおしたものである。ストークスの諸定理がどれも証明はやさしく、定義や定式化が難かしいというのにはもっ...详情

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情