老师不怎么讲教材，数理逻辑和集合论 发的课本 是 离散数学 尹宝林 xxx （忘了）编 北京航空航天大学出版社 蓝皮的
每年都不一样，不同的专业也不一样 。一般都是学校自己的教材
教材看老师 老师挑 谁教谁挑
