离散数学713-文档资料