![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m0.ddimg.cn/26/27/11808702800-1_l.jpg)
该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。
《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的适用对象包括：中学信息学奥林匹克竞赛选手及辅导老师、大学ACM程序设计比赛选手及教练、高等院校计算机相关专业的师生、程序设计爱好者等。数学是计算机程序设计的灵魂。利用数学方面的知识、数学分析的方法以及数学题解的技巧，可以使得程序设计变得轻松、美观、高效，而且往往能反映出问题的本质。在外各项程序设计比赛（比如，ACM、NOI）活动中，越来越多地用到各种复杂的数学知识，对选手的数学修养要求越来越高。编写《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的目的就在于给广大ACM队员、NOI选手以及编程爱好者，系统分析一些程序设计中常用的数学知识和数学方法。
《简明高等数学习题全解指南（上）/新世纪高等学校公共课重点建设教材》按教材各章节顺序编排，每章内容由两部分组成：第一部分内容概要，主要是系统归纳总结这一章的基本概念、基本定理和基本方法，梳理知识结构；第二部分习题全解，与教材的习题一一对应进行详细解答，方便读者检查对所学内容的掌握程度，巩固学习效果。附录I汇编了2003年至2017年全国研究生入学统一考试数学试题中高等数学部分的全部试题，按照函数与极限，导数与微分，微分中值定理与导数的应用，不定积分，定积分及其应用，常微分方程，向量代数与空间解析几何，多元函数微分法及其应用，多元函数积分学，无穷级数的顺序。每道试题的前面都注明了试题的年份、卷种和分值，如03104表示2003年数学一分值4分。附录Ⅱ给出了附录I中每道试题的详细解答，有些在解答前分析
