×
Assuming the hypothesis is true and using a chain of logical steps to reach the conclusion. Proof by Contraposition: Proving that "If not , then not " to establish that "If
is a specialized undergraduate course designed to bridge the gap between computational calculus and high-level abstract mathematical proofs. Offered by the MIT Department of Mathematics , this 3-0-9 unit course focuses explicitly on teaching students how to understand, construct, and write rigorous mathematical arguments. It serves as an essential preparatory pathway for undergraduates planning to transition into advanced, proof-heavy coursework like Real Analysis (18.100), Abstract Algebra (18.701), or Topology (18.901).
): Assuming a statement is false and showing that this assumption leads to an impossible logical paradox.
Learning to write proofs is a skill that takes practice.
This course focuses on the art of mathematical argument, turning students from consumers of formulas into creators of rigorous proofs. What is 18.090 Introduction to Mathematical Reasoning?
exists," this course provides the necessary logic and set theory foundations .
The curriculum introduces students to the formal language of mathematics through several pillars:
The official course listing currently states "No textbook information available", but a popular resource is Peter J. Eccles' An Introduction to Mathematical Reasoning . While used at other universities, it matches the course's goals perfectly.
While specific topics can vary by instructor (recent versions have been taught by faculty like Semyon Dyatlov Paul Seidel
While the exact syllabus evolves, a representative semester includes:
A two-step technique used to prove statements about integers. You prove a base case ( ), and then prove that if the statement holds for , it must also hold for . It functions like a row of falling dominoes. Why is 18.090 Crucial for STEM Students?