涵盖离散数学的基本概念和工具,并重点介绍其在计算机科学中的应用。