" 系统性强,注重离散数学各知识点间的综合运用。 适合自学,细化知识点内涵与外延,论述详略得当。 兼顾实践,通过编程探索离散数学基本概念与基本算法。 联系实际,拓展介绍离散数学方法的自动化实现问题。"