问题1：什么是关系？如何表示关系？如何进行关系运算？ 问题2：什么是函数？什么是单射、满射函数？如何进行函数运算？

问题1：什么是集合？ 问题2：集合的基本概念有哪些？ 问题3：如何进行集合运算与集合公式证明？

问题1：什么叫证明？ 问题2：常见的证明方法有哪些？ 问题3：什么是猜想？有哪些有意思的猜想？

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？

问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？

电子科技大学：《离散数学》课程教学资源（教学大纲）

第一节 推理的形式结构 第二节 自然推理系统P

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_08/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_10/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_12/29