作者：曹迎槐, 尹健, 韩加坤主编
出版社： 国防工业出版社
CIP号：2015058274
书号：978-7-118-10028-0
出版地：北京
出版时间：2015.4
定价：￥48.0
本书共12章，内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。本书体系严谨，文字精练，内容翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学。