离散数学课程旨在引导学生掌握如何运用数学模型和方法去分析计算机科学中的问题。重点培养学生用严格的逻辑分析去建模和解决计算类问题。本课程将覆盖现代计算机科学中的若干重要且非常实用的知识点，包括序理论，组合，图论，网络算法等。每一章中都包含了若干有趣的定理、性质、它们的详细证明及一些相对更有挑战性的问题。本课程主要为计算机科学专业学生开设，也可为理工类其它专业学生提供参考。目的是通过本课程的学习给学生未来的学习和工作奠定必要的数学素质。

Mathematical foundations of computer science introduces to the students how to use mathematical models and methods to analyze problems that arise in computer science. It aims to enhance the logic and analytic abilities of the students to model and solve computational problems in a rigorous manner. The course is going to cover several important and useful topics in modern computer science, including ordering theory, combinatorics, graph theory, probabilistic methods, network etc.. At the end of each semester, some cutting-edge topics will be introduced to make the course more adaptable. This is one of the core courses for computer science major, offering them the mathematical sophistications necessary for further study.

本课程目标是培养以下三种能力
1.运用数学、科学和工程知识的能力
2.认识到需要终生学习以及具有终生学习的能力
3.综合运用技术、技能和现代工程工具来进行工程实践的能力

本课程为本科计算机专业入门课程。

Invitation to Discrete Mathematics, 2nd Edition,

by Jiri Matousek and Jaroslav Nesetril,

OXFORD 2006.