What do we understand by mathematical logic? How is it related to Computer Science?

Mathematical logic define as logic which are based on the mathematics and it is the sub-field of mathematics. It includes many types of model and proof theories.

Mathematics is the general application of various logic and it is used to develop various satisfactory theories.

Mathematical logic is one of the most important fundamental in computer science as, it uses the computational mathematics. Mathematics theories are used by many computer scientist to solve various algorithm designs and data structure.