From philosophical argumentation to the scientific method, clear reasoning and consistent logic are the building blocks of serious inquiry. This course introduces students to the basics of mathematical reasoning, symbolic logic, and formal proof.
Students acquire a foundation in formal logic, the basis of rigorous mathematical proof.
As they explore the tools of reasoning, they develop strong problem-solving skills and learn to think creatively. The course emphasizes learning how to organize knowledge and present solutions to problems in a simple, coherent, and logical manner. Students are exposed to a variety of areas of higher mathematics as they learn to analyze the structure of proofs and to solve a range of mathematical and logical problems. By the end of the course, students are able to translate statements and arguments and to write their own proofs with elegance and assurance. Its Scope and Limits , Jeffery.