Contents include: mathematical logic, set theory, algebraic structure, graph theory, combinatorics, number theory, etc.
Because the digital electronic computer is a discrete structure, it can only deal with discrete or discrete quantitative relations. Therefore, both computer science itself and modern scientific research fields closely related to computer science and its application are faced with the problem of how to establish corresponding mathematical models for discrete structures. How to discretize the mathematical model established by continuous quantitative relationship so that it can be processed by computer.
The course of discrete mathematics mainly introduces the basic concepts, theories and methods of various branches of discrete mathematics, and is widely used in professional courses such as digital circuit, compilation principle, data structure, operating system, database system, algorithm analysis and design, artificial intelligence, computer network and so on. At the same time, the training provided by this course is very beneficial to improve students' ability of generalization and abstraction, logical thinking and inductive structure, and to cultivate students' rigorous, complete and standardized scientific attitude.
Discrete mathematics usually studies mathematical logic, set theory, relation theory, function theory, algebraic system and graph theory.