Often cited as the first "true" proof course for many majors. 18.701 (Algebra I):
Finishing 18.090 is a milestone. You will have written hundreds of proofs. You will have internalized the difference between "necessary" and "sufficient." You will wince when a friend says, "Well, it works for n=1, so it's probably true." 18.090 introduction to mathematical reasoning mit
Before 18.090, students harbor several dangerous intuitions. The course is designed to systematically demolish them. Often cited as the first "true" proof course for many majors
Mastering the Logic of Mathematics: A Deep Dive into MIT’s 18.090 (Introduction to Mathematical Reasoning) it works for n=1
Establishing a solid footing in set theory and the real number system to support future study in analysis and algebra. III. Curriculum & Core Topics