离散数学

预备知识

• 集合论
• 计数问题

数理逻辑

• 命题逻辑
• 谓词逻辑
• 证明技术
• 二元关系
• 函数

图论

• 图
• 树
• 特殊图