at MIT is a foundational bridging course designed to transition students from computational "plug-and-chug" math to the rigorous, proof-oriented thinking required for upper-level mathematics. Course Overview
Introduces the fundamental language, logic, and proof techniques essential for advanced mathematics. Emphasizes how to read, understand, and construct rigorous mathematical arguments. Topics include propositional and predicate logic, set theory, proof by contradiction, induction, and the axiomatic method. Designed for students transitioning from computational to proof-based mathematics. 18.090 introduction to mathematical reasoning mit
Prepare students to read, write, and understand rigorous mathematical proofs; transition from computational to proof-based mathematics; develop precise logical reasoning and clear mathematical writing. at MIT is a foundational bridging course designed
Lectures are often supplemented by weekly problem sessions where students discuss exercises assigned during class. Lectures are often supplemented by weekly problem sessions
Introductory concepts including permutations, fields, and vector spaces.
Exploration of permutations, fields, and vector spaces.
If you struggled with the proof portions of 6.042 or feel lost reading a math textbook, 18.090 is your parachute.