Logic is the science of thinking. Learning this course makes your thinking and speaking more logical. It can tell you what is the correct, normal and appropriate way of thinking.

Students majoring in logic mainly study the basic theories and knowledge of logic, mathematics, computer science and philosophy, receive training in axiomatic methods, formal methods and semantic analysis, and have the basic ability of professional research.