书目详细信息 : 离散数学中的算法设计与实现