一、四色问题 二、平面图,面,极大平面图 三、欧拉公式 四、Kuratowski定理 五、对偶图,自对偶图 六、外平面图 七、平面哈密顿图

一、等势,优势,劣势,绝对优势,绝对劣势 二、Cantor定理, Schroder-Bernstein-定理 三、基数(势),,N 四、有穷集,无穷集,可数集(可列集) 五、基数运算

一、关系运算性质(续) 二、关系矩阵,关系图 三、自反,反自反,对称,反对称,传递

复旦大学：《离散数学》习题课讲稿（李弋）03 Introduction to Logic

复旦大学：《离散数学》习题课讲稿（李弋）02 Lattice（II）

复旦大学：《离散数学》习题课讲稿（李弋）01 Lattice（I）

复旦大学：《离散数学》习题课讲义（李弋）15 Application of Logic Limitation of First Order Logic

复旦大学：《离散数学》习题课讲义（李弋）14 Soundness Completeness Compactness

复旦大学：《离散数学》习题课讲义（李弋）13 Atomic tableaux Tableau proof Property of CST

复旦大学：《离散数学》习题课讲义（李弋）12 Structure Interpretation Truth Satisfiable Consequence