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

《普通逻辑学》电子教案，主要内容包括绪论、词项、简单命题及其推理、模态命题及其推理、普通逻辑的基本

命题及其推理第三章真值表的判定作用第四章简单命题的基本要素—概念第五章性质命题及其推理第六章关系命题

命题的逻辑分析第三章命题推理第四章真值表方法与命题演算第五章传统谓词逻辑第六章谓词演算第七章模态逻辑

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

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

逻辑的角度来认识世界.pdf决策与逻辑.pdf古代诗词名句中的逻辑问题.pdf小议“法律语言中的逻辑

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