图书介绍：本书从Thomson Learning出版公司引进。本书内容包括：复合陈述中的逻辑，定量陈述中的逻辑，基础数论及证明方法，数理推断及序列，集合论，计算和概率，函数，递归，运算法则及效率，关系，图和树，常规表达式和自动控制。本书可作为高等院校理工科专业学生作为离散数学双语教材使用，与其同类教材相比；本书有以下几个突出的特点：1．着重逻辑推理；2．以螺旋前进的方式介绍并运用概念，便于学生了解及进一步掌握；3．大量的图表便于学生直观理解；4．习题配置合理，书后给出了习题答案．5．有与本书配套的网络资源。本书叙述详尽、语言表达流畅，适合于理工科各专业学生作为双语教材使用，也可供教师教学参考。