Catalog Course Description
Math Reasoning

Reasoning and logic form the backbone of almost every academic discipline. 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 logic and formal proof.

Students acquire a foundation in formal logic, the basis of rigorous mathematical proof. They gain an understanding of the major elements of mathematical logic: validity, soundness, formal proof, and counterexample. As they explore the tools of reasoning, they develop strong problem-solving skills and learn to think analytically. This course emphasizes how to organize knowledge and present solutions to problems in a simple, coherent, and systematic manner. Students analyze the structure of proofs and solve a range of meta-mathematical problems. Students are introduced to topics in advanced mathematics such as topology, combinatorics, and algebra.  General mathematical trends such as classification of objects are explored in various fields. By the end of the course, students are able to translate statements and arguments and to write their own proofs with increased elegance and assurance.