离散数学（第3版）
陈建明、曾明、刘国荣编著的《离散数学(第3版)》由集合论、代数系统、图论、数理逻辑、关于证明五部分组成。适用于理工科大学计算机专业，也可供其他专业使用。 在教材内容的安排上，力求做到选材既能满足计算机专业后继课程的需要，又比较精练。同时，考虑到计算机科学与技术发展对数理逻辑的要求，在教材中加强了数理逻辑部分，而且在形式推理部分采用了比较严格的符号规则，避开了P规则和T规则。我们认为这样的处理便于读者清楚地理解和掌握数理逻辑的形式推理过程。
¥23.10定价：¥32.00 (7.22折)
陈建明，曾明，刘国荣 编 /2012-01-01 /西安交通大学出版社
