问题1：什么是集合的基数？ 问题2：(基数)最大的集合有多大？ 问题3：如何比较两个(无限)集合的大小？

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

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

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

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

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

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

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

一、前两节介绍了“命题”的形式。 二、本节介绍“推理”的形式。 三、推理是逻辑的研究对象

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言: