编写此书，是希望为我国的大学生和数学爱好者提供一本提高数学素质(特别是分析问题和解题能力)的有益读物，同时也为高校数学教育提供一本很有特色的教学参考书。 本书共有三篇：篇，汇集了北京市大学生数学竞赛届至第二十一届的试题，并给出了解题思路及较详细的参考解答；第二篇，选编了我国部分省市和高校的大学生竞赛的试题，对其中大部分给出了较详细的参考解答、答案或提示，有的给出了解题思路；第三篇，编入了、第二届全国大学生数学竞赛及国外一些大学生数学竞赛的试题，并给出了解题思路及较详细的参考解答。
该书为高等理工科院校本科生“高等数学”课程的辅导书，其内容包括函数、极限、连续、导数、微分及其应用，不定积分、定积分及其应用、向量代数与空间解析几何、多元函数微分学及其应用、多元函数积分学，无穷级数和微分方程等。 全书内容全面，重点突出，共分为8个单元33个专题讲座进行辅导，例题详实典型，分析透彻清晰，方法实用而且富于创新，是天津大学著名数学教育专家蔡高厅教授、邱忠文教授多年从事高等数学教学经验和智慧的结晶。 本书适合于高等院校师生学习使用，不仅可以作为硕士研究生入学考试的复习参考书，而且可以作为网络高等教育、高等职业技术教育、成人高等教育以及函授教育的辅导教科书。
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教
