The course is a required course designed for Engineering Master of Computer Science in International Engineering Institute. This course introduces the basic concept, basic theory and basic methods of each branch of Discrete Mathematics. The concept, theory and methods are widely used in Digit Circuit, Compilers Principle, Data Structure, Operating System, Database system, analysis and design of the Algorithm, Artificial Intelligence, Computer Networks and other professional courses. At the same time, the training provided by this course is very beneficial to enhancing students' abilities to generalizie abstraction, logical thinking and inductive structure, and also is beneficial to cultivating rigorous, complete and standardized scientific attitude.