![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m0.ddimg.cn/26/27/11808702800-1_l.jpg)
该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。
![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版图书】](http://img3m3.ddimg.cn/83/22/11758940903-1_l.jpg)
《高等数学（轻工类）（第二版）（上册）》编写过程中参考了国内外众多优秀教材，最大程度的汲取了他们的优点，编者大部分为两个学校的优秀教师和中青年骨干，以提高学生的综合数学能力、培养学生的数学文化素养为宗旨，是为适应轻工类学科的发展，扩宽专业面、优化整体教学体系的教学改革形势，面向应用型大学人才培养需要的一本优秀教材。粮油、化工、生物等轻工领域的实际应用例子融入到教材中，比如数学建模方法、放射性元素的衰减模型、污染物的排放问题、化学反应速度以及微分方程在轻工方面的应用，让学生能够体会学以致用，激发学生的学习主动性和积极性，培养学生的综合应用能力。
本书是普通高等院校理工科非数学类各专业(尤其是物理类专业)本科生的“高等数学”教材。全书分上、下两册，其中上册除绪论外，共有六章，内容包括：函数与极限、微积分的基本概念、积分的计算及应用、微分中值定理
