![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m0.ddimg.cn/26/27/11808702800-1_l.jpg)
本书根据高等院校理工类专业《工科类本科数学基础课程教学基本要求》及考研大纲编写而成，本书是多年教学改革与实践的经验总结。主要内容包括：函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分、定积分的应用、空间解析几何与向量代数、多元函数微分法及其应用、重积分、曲线积分与曲面积分、无穷级数、微分方程等知识。每章内容循序渐进，既考虑到一般工科高等院校学生使用，又考虑到考研的实际需求，特没置了知识结构图、基本要求、典型题型解题方法与技巧、综合与提高、同步自测等环节，不仅适合普通高等院校理工类、经管类本科专业的学生使用，还可以作为教学参考书或考研辅导用书。
本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13 章，每章包括4 个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．
