国防科大版的离散数学教材，北航计算机学院离散数学老师推荐的教材