这是一门计算机科学中使用的离散数学课程。由于这只是一个学期的课程,因此它涵盖的主题相对较少,或者没有深入探讨。但是,课程的目的是为你打下一个可以根据需要进一步发展的基础,特别是为了让你具备一定的数学成熟度——即对数学的基本理解,以及数学定义和证明的工作原理。