实数的构造理论
王建午, 曹之江, 刘景麟
评分 8.9分
高等数学学习手册
徐小湛
评分 9.6分
《高等数学学习手册》以高等数学的公式为主线，以简洁的形式分门别类地详细介绍了高等数学的主要公式、定义、定理、图形以及各种题型的解题方法和技巧。除了高等数学教材中的基本内容和公式、常见解题方法和技巧外，本手册还大量收集了一般教材中没有的，但在解题中有用的公式、特殊的解题方法和技巧。使用本手册可以帮助读者迅速复习、回忆和掌握高等数学的公式、解题方法和技巧，以提高高等数学的学习效率、解题能力和考试成绩。
数学基础
莫绍揆
评分 0.0分
可计算函数
A.Shen, N.K.vereshchagin
这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m- 完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还介绍了一些特殊的函数模型，如 turing机和递归函数。 《可计算函数》可供数学和计算机专业的本科生阅读，也可供所有希望学习计
面向计算机科学的数理逻辑系统建模与推理
哈斯
评分 7.9分
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可
数学物理方法
姚端正//梁家宝
评分 8.0分
本书是普通高等教育“十一五”国家级规划教材，也是国家精品课程配套教材，由作者在总结多年教学经验的基础上编写而成。 本书本着去粗取精、更新拓宽的思想科学地组织内容。全书突出物理背景、前景和物理意义，密切结合物理实例，特别注重与后续课的联系，并增加了传统教材中没有的非线性方程和小波变换等内容。全书分为复变函数论(第一篇)、数理方程(第二篇)和特殊函数第三篇)三个部分，在每章后都有小结，每小节后都附有习
高等代数
北京大学数学系几何与代数教研室前代数小组, 王萼芳, 石生明
从《高等代数(第3版)》的前身《高等代数讲义》(1964年由高等教育出版社出版)算起，它已问世近40年了。国内广大读者从它得益，也对它肯定。《高等代数(第3版)》又是从我们的师长段学复教授、聂灵沼教授、丁石孙教授继承下来的，我们感到它有着历史的纪念意义。因此在修订时力求保持它原来的框架和原来的风格。 这次修订有如下几点： (1)文字上的推敲，特别是一些名词，如“映上”、“1-1”等均用现代流行的“
