Applications: logic and proof, algorithm, calculation method and classification principle, cyclic relation, graph theory, tree, network model, Boolean algebra and combinational circuit, automation, grammar and language, computational geometry. The concepts, methods and theories involved in discrete mathematics courses are widely used in digital circuits, compilation principles, data structures, operating systems, database systems, algorithm analysis and design, software engineering, artificial intelligence, multimedia technology, computer networks, information management and other professional courses.