2. Full name refers to rules: general specifications; ;

3. There is the law of ascension: the generalization of existence; ;

4. There is a specific rule: the existence norm.

Extended data:

Discrete mathematics is widely used in various disciplines, especially in the field of computer science and technology. At the same time, discrete mathematics is also a specialized course for computer majors, such as programming language, data structure, operating system, compilation technology, artificial intelligence, database, algorithm design and analysis, theoretical computer science foundation and so on.

Through the study of discrete mathematics, we can not only master the descriptive tools and methods for dealing with discrete structures, but also create conditions for subsequent courses, improve abstract thinking and strict logical reasoning ability, and lay a solid foundation for participating in innovative research and development in the future.