Which specific (like induction or contradiction) gives you the most trouble?
Assuming a standard 14-week semester, here is how to integrate extra resources.
Proof-based mathematics is . Internalize the "grammar" of each major method: Which specific (like induction or contradiction) gives you
18.090: Introduction to Mathematical Reasoning (MIT) teaches students how to construct, write, and critique mathematical proofs. Students often struggle with logical flow, unjustified steps, quantifier errors, and proof structure.
Because MIT often uses internal lecture notes rather than a single textbook for transition courses, these external materials are frequently cited by instructors for similar reasoning courses: MIT OpenCourseWare Highly Recommended Text Internalize the "grammar" of each major method: 18
This involves using logic to analyze problems and to formulate and evaluate mathematical arguments.
(A∪B)c=Ac∩Bcopen paren cap A union cap B close paren to the c-th power equals cap A to the c-th power intersection cap B to the c-th power Functions and Mappings (A∪B)c=Ac∩Bcopen paren cap A union cap B close
If a step is truly obvious, omit the word and just state the step. If it is not obvious, using the word "clearly" is a lazy shortcut that often hides a logical gap or a misunderstanding. 4. Close the Proof Explicitly
: The primary goal is teaching students how to write clear, logical, and rigorous mathematical proofs. Mathematical Language
How to Prove It: A Structured Approach by Daniel J. Velleman (Highly recommended for beginners).
The 18.090 course at MIT employs a range of teaching methods and resources to support student learning. These include: