书目详细信息 : 离散数学与算法化思维