本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建立在作者新的研究成果基础之上，对数理逻辑的基本思想和方法做了准确而严谨的论述。

　　储

　　本书是清

从华南农业大学2009年到2014年，参加全国大学生数学建模竞赛中精选出的10篇获奖的论文加工整理而成的，所选择的论文都是最有代表性的，论文几乎完整地保持了参赛论文的原貌。同时每篇论文后给出了比较细致的点评。书后附录中提供了参加数学建模竞赛部分部分同学的感受和体会赛题。