离散数学
张波E-mail：办公室：行政楼B212
主要内容
数理逻辑（又称符号逻辑）集合论代数构造图论组合分析初步形式语言和自动机初步
数理逻辑部分
第1章 命题逻辑第2章 一阶逻辑