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

经典好书《儒学、数术与政治》读书内容简介:兆或谴告，具有特殊的政治含义。本书追溯灾异理论的思想和技术渊源，探究儒学灾异论的内容、形成过程及其与数术和政治的关系，从政治文化的角度考察中国古代学术“学理”和“实用”两种取向之间的矛盾。灾异论的“学理取向”导致丧失立场的技术化，消解“天”的权威，最...详情

经典好书《大学代数几何》读书内容简介: are several good recent textbooks on algebraic geometry atthe graduate level．but not（to my knowledge）any designed for anunde...详情

经典好书《托马斯大学微积分》读书内容简介:微积分》的精编版本．这个精编版本根据当今大学微积分课程的目标取舍主题，浓缩题材，使其更适于教学和学习。同时，《托马斯大学微积分》继承和发扬原著的优点：坚持准确性和严谨性，突出应用，强调练习和技能训练，融入现代化技术手段，并且保持良好的可读性。...详情

经典好书《拓扑学与几何学基础讲义/数学统计学系列》读书内容简介: 作者简介详情

经典好书《机器学习算法的数学解析与Python实现》读书内容简介:念和数学原理，以通俗形象的语言进行讲解，让读者无须了解太多前置数学知识，就能看懂数学公式所表达的意思，从而快速掌握机器学习的思想和原理。本书首先介绍机器学习基本概念及工具，然后从概念、原理、Python实现、应用场景几个方面，详细剖析机器学习中主要的...详情

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

经典好书《张宇高等数学18讲》读书内容简介:相应的例题对知识点做具体阐述，并适当配以注释，说明考试中常考的方式和易出现的错误，最后给出习题供考生加强理解知识点和做题技巧，循序渐进，让考生对数学知识从懵懂到融会贯通。原命题组长参与。另，本书经过改版，凡购买正版图书，可获得配套的长达...详情

经典好书《数学所讲座2011-2012》读书内容简介:2011-2012年为中国科学院数学与系统科学院的数学所讲座所做的报告整理而成。这些文章试图用平易近人的语言讲解现代数学的重要内容及其思想、方法和影响，以扩展学生、教师和科研人员的视野、提高数学修养。作者都是从事数学研究多年的优秀数学家，对数学有深切...详情

经典好书《微分方程与数学物理问题(中文校订版)》读书内容简介:第一本基于对称和不变性原理讲述常微分方程和偏微分方程的教科书，为作者多年教学积累的成果，曾在俄罗斯、美国、法国、南非和瑞典对数学、物理和工程学的学生讲述过。本书从最基本的经典方法讲起，用到的李群分析也是用于研究和解决数学模型中的解析非线性问题的最广泛...详情