For example, Boolean algebra, propositional logic, etc., on the one hand, are helpful to the underlying realization, such as the principle of synthesis, on the other hand, artificial intelligence will be used, and of course, there are many other places that will have something to do with logic.

Modern algebra, etc., will involve combinatorial mathematics (coloring scheme number and permutation group, etc.), and number theory (Gunn of separable relations), which will be useful for algorithm complexity analysis and cryptography.

Like graph theory, the algorithm of graph theory itself is very useful for solving many practical problems. Many optimization analysis in later compilation are graph theory algorithms, such as data stream analysis or register allocation.

At least you will use data structures and algorithms, and then at a deeper level, mathematics determines how far you can go in the program.