![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m5.ddimg.cn/41/25/11809111685-1_l.jpg)
该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。
该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。
随着当前教育改革的不断深化，的高等数学教育已不单纯只是向学生传授基础知识，为相关学科和其他数学分支提供计算工具，更重要的是向学生灌输、渗透数学思想、数学方法，培养学生的创新精神、创新意识、创新思维与创新能力，提高学生的数学素质、数学思维能力和科学计算能力，着重提高学生发现问题与解决问题的实际应用能力，以便更好地在市场经济体制的新形势下实施有效的素质教育，培养适应社会需求、为经济发展服务的高素质应用型人才。为此，作者尝试编写了本书，旨在为高校建设之路作大胆的初步探索。本书在内容组织上力求体现如下几个特色：1.在不破坏知识与理论的科学性、系统性和严谨性的前提下，尽可能地深入浅出，通俗易懂地简明地解释抽象的数学概念。2.重视数学知识的应用，充分展示数学理论的本质与实际意义，突出培养解决
![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m0.ddimg.cn/26/27/11808702800-1_l.jpg)
