This course is mainly for everyone to learn how to speak clearly and understand mathematics. In addition to the basic training necessary for all mathematics courses, the concepts it conveys are also widely used in information science. Fields of artificial intelligence, editors, programming languages, and logical semantics in philology.