离散数学总复习
曾庆田Email：qtzeng@163.com年12月
第一章 命题逻辑
第二章 谓词逻辑
第四章 函数
第六章 格和布尔代数
第七章 图论
第一篇 数理逻辑
第二篇  集合论
第三章 集合与关系
第四篇  图 论
教学内容：数理逻辑、集合论、代数结构与布尔代数和图论共四部分。
第五章 代数结构
第三篇 代数系统
第一章 命题逻辑一、知识点1．命题概念、表示方法；联结词逻辑意义。2．命题公式递归定义，自然语言翻译成命题公式3．真值表结构、命题公式等价概念。4．重言式与蕴涵式定义、逻辑意义，逻辑等价与逻辑蕴涵意义和证实方法。惯用逻辑等价公式和逻辑蕴涵公式。