复旦大学：《离散数学 Discrete Mathematics（下）》英文课件（赵一鸣）09/32

复旦大学：《离散数学 Discrete Mathematics（下）》英文课件（赵一鸣）08/32

复旦大学：《离散数学 Discrete Mathematics（下）》英文课件（赵一鸣）07/32

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

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

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

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

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

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

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