一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:

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

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

一、良序,序数, 二、序数与基数 三、ZFC+CH系统 四、Collatz猜想

一、关系幂(power)运算 二、关系闭包(closure)

1.有序对与卡氏积 2.二元关系 3.二元关系的基本运算

1.根树 2.根树的周游 3.最优树, Huffman算法 4.最佳前缀码

1.集合恒等式与对偶原理 2.集合恒等式的证明 3.集合列的极限 4.集合论悖论与集合论公理

1.集合的概念 2.集合之间的关系 3.集合的运算 4.文氏图、容斥原理

复旦大学：《离散数学——集合与图论》PPT课件（赵一鸣）21/30