真假值、有限个结点等）。第一部分数理逻辑第一章命题逻辑第二章谓词逻辑第二部分集合论第三章集合与关系第

国防科学技术大学《数理逻辑》pdf电子图书（英文版），附课程考试模拟试卷。

内容章节包括：第一篇：数理逻辑命题逻辑、谓词逻辑第二篇：集合论集合与关系、寒暑第三篇：代数系统代数

纲和作业题三大部分（三）：一、集合论与图论.pdf三、数理逻辑.pdf二、代数结构与组合数学.pdf

简明数学百科全集》，全套共分四部，内容共涵盖分析、代数、几何、拓朴、数理逻辑等各方面知识，内容丰富。

包括数理逻辑、集合论、代数系统、图论。

津大学离散数学电子课件，内容包括命题逻辑、谓词逻辑、非古典逻辑、模型论、证明论、递归论、公理化集合

（1）集合论与图论.pdf（2）代数结构与组合数学.pdf（3）数理逻辑.pdf教学计划大纲.doc

）计算模型（ComputingModel）1.1逻辑.ppt1.2命题演算.ppt1.3谓词与量词.

北京大学《离散数学》完整课件，内容包括完整课件、教学大纲和作业题三大部分（一）： 第一章 集合 第二章 二元关系 第三章 函数 第四章 自然数 第五章 基数 第六章 序数 第七章 图 第八章 欧拉图与哈密顿图 第九章 树 第十章 图的矩阵表示 第十一章 平面图 第十二章 图的着色 第十三章 支配集、覆盖集、独立集与匹配 第十五章 代数系统 第十六章 半群与群 第十七章 群 第十八章 环与域 第十九章 格与布尔代数 第二十章 组合存在性定理 第二十一章 基本的计数公式 第二十二章 组合计数方法