![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m0.ddimg.cn/26/27/11808702800-1_l.jpg)
![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版图书】](http://img3m3.ddimg.cn/55/15/11759082643-1_l.jpg)
![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版图书】](http://img3m3.ddimg.cn/83/22/11758940903-1_l.jpg)
本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13章，每章包括4个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要.在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．
本书是普通高等院校理工科非数学类各专业(尤其是物理类专业)本科生的“高等数学”教材。全书分上、下两册，其中上册除绪论外，共有六章，内容包括：函数与极限、微积分的基本概念、积分的计算及应用、微分中值定理
