If you are planning to take this course or want to prepare for it, let me know:
Many math and computer science majors take both 18.090 and 6.042, noting that 18.090 offers a purer, theorem-proving experience.
The curriculum of 18.090 spans across fundamental mathematical logic, set theory, and introductory glimpses into higher algebra and real analysis. 1. Foundational Logic and Set Theory 18.090 introduction to mathematical reasoning mit
P-sets are released weekly and typically contain 6–8 problems. The first problem is usually a "warm-up" (build a truth table). The last problem is a "challenge" (a non-trivial proof from number theory or combinatorics). MIT students report spending 6–10 hours per week on the 18.090 p-set alone. The key rule: No collaboration on the final two problems. You must stand alone with your reasoning.
If you are taking 18.090 at MIT, or self-studying the material via MIT OpenCourseWare, use these strategies to master the material: If you are planning to take this course
The course is typically taken after single-variable calculus (18.01) and before real analysis (18.100) or abstract algebra (18.700). Its credit load is 3-0-9 (3 class hours, 0 lab hours, 9 expected study hours per week), reflecting MIT’s intensive unit system.
At its core, is MIT’s gateway course to the world of proofs . It is designed for students who have completed the standard calculus sequence (18.01, 18.02) and possibly linear algebra (18.06), but who have never had to write a formal mathematical proof. Foundational Logic and Set Theory P-sets are released
Taking a class at the MIT Department of Mathematics means facing a significant jump in difficulty from high school. Students often report:
: A major focus is placed on writing clear, unambiguous, and elegant proofs. Key Topics Covered in the Curriculum