An in-depth understanding of the mathematical apparatus used in computer science is given, it is shown how the theoretical results obtained in mathematics served as a source of new ideas and results in the theory of algorithms, programming and in other sections of computer science.