Summary: Deeply understand the application of mathematics in life. At the same time, many problems in real life have been solved by using the knowledge learned. This semester's math study not only increased my knowledge, but also stimulated my interest in learning math. I will study and use mathematics harder in the future!

Mathematics is a universal means for human beings to strictly describe the abstract structure and mode of things, and can be applied to any problem in the real world. All mathematical objects are artificially defined in essence.

Mathematical logic:

Mathematical logic focuses on putting mathematics on a solid axiomatic framework and studying the results of this framework. As far as it is concerned, it is the origin of Godel's second incomplete theorem, which is perhaps the most widely circulated achievement in logic. Modern logic is divided into recursion theory, model theory and proof theory, which are closely related to theoretical computer science.

Baidu encyclopedia-mathematics