离散数学（左孝凌）-教材《离散数学》上海科学技术文献出版社。目录第一篇数理逻辑第一章命题逻辑1-1命题及其表示法1-2联结词1-3命题公式与翻译1-4真值表与等价公式1-5重言式与蕴含式1-6其他联结词1-7对偶与范式1-8推理理论1-9应用第二章谓词逻辑2-1谓词的概念与表示2-2命题函数与量词2-3谓词公式与翻译2-4变元的约束2-5谓词演算的等价式与蕴含式2-6前束范式2-7谓词演算的推理理论第二篇集合论第三章集合与关系3-1集合的概念和表示法3-2集合的运算3-3包含排斥原理3-4序偶与笛卡尔积3-5关系及其表示3-6关系的性质3-7