-Set theory: study the concepts of finite set, infinite set and empty set, and the relations between sets (such as inclusion relation and equality relation).
-Graph theory: To study the properties and applications of graphs composed of finite non-empty vertex sets and edge sets between vertices.
-Algebraic structure: study algebraic systems and their properties, such as groups, rings, fields, etc.
-Combinatorial mathematics: study counting methods and permutation and combination problems, such as permutation, combination and binomial theorem.
-Mathematical logic: study propositional formulas and their reasoning rules, such as propositional logic and predicate logic.
These knowledge points are interrelated and isomorphic to form the basic framework of discrete mathematics. For example, in graph theory, we can use set theory to describe vertices and edges; In algebraic structure, we can use mathematical logic to describe the operation rules; In combinatorial mathematics, we can use graph theory to describe permutation and combination. Therefore, mastering the core knowledge points of discrete mathematics is very important for understanding many concepts and technologies in computer science.