Mathematics is a highly instrumental subject. Compared with other disciplines, its abstract and logical characteristics are very obvious. As far as the application of mathematics is concerned, it is closely related to computer science. With the development of internet technology and artificial intelligence technology, the computing performance of computers has made a qualitative leap, and the advantages of computers are becoming more and more obvious.

Applying profound mathematical theory to practical problems has effectively solved various difficult problems in real life. The computer has proved the four-color problem and a lot of mathematical ideas, such as wavelet analysis, discrete mathematics, bionic calculation and so on. , has been used in the process of proof, people have begun to realize that there is an inseparable relationship between computer science and mathematics.

The main tasks of computers are data processing, image processing, programming and other different types of calculations, which can be divided into numerical calculation and non-numerical calculation. It can be seen that when solving problems, computers need to transform actual problems into programs, establish perfect mathematical models, and complete abstract treatment of specific problems.

Computer software programming is based on mathematical model, and a lot of theories and technologies in software programming are described by applied mathematics. The correctness, procedural semantics and theoretical basis of computer algorithms are mathematical logic or model theory.