Exploring the mind-bending concept that some infinities are larger than others (e.g., comparing the infinity of integers to the infinity of real numbers via Cantor's diagonal argument). 3. Proof Techniques
Prove that if $n$ is an integer and $n^2$ is even, then $n$ is even.
It is ideal for math majors, minors, or students in related fields (like computer science or physics) who want a rigorous introduction to abstract mathematical reasoning. How to Prepare and Succeed
To practice your new proof skills, the course introduces basic number theory. This provides concrete, elegant problems to solve:
3-0-9 (3 hours lectures, 0 lab, 9 study hours, usually offered Spring term). 18.090 introduction to mathematical reasoning mit
Visual grids used to determine the truth value of complex statements based on their inputs. Quantifiers: Universal quantifiers ("for all," ∀for all ) and existential quantifiers ("there exists," ∃there exists
: Transitioning from concrete numbers to abstract sets, fields, and vector spaces. Syllabus and Foundational Topics
Free that cover this material Share public link
Typical syllabus structure (concept progression) Exploring the mind-bending concept that some infinities are
While it is not a strictly required subject for the Mathematics (Course 18) degree, it can serve as an authorized prerequisite for and provides the necessary background for 18.100 . It is particularly recommended for students who have not yet had significant exposure to discrete mathematics (such as 18.062J) or other proof-centric high school curricula. V. Mathematical Foundations Visualization
Whether you are an aspiring mathematician, a computer science student, or a self-directed learner looking to tackle MIT OpenCourseWare (OCW), understanding the structure, philosophy, and core concepts of 18.090 is essential. This article breaks down what the course entails, why it matters, and how you can master its foundational concepts. What is MIT 18.090?
For MIT's Pure Mathematics majors, 18.090 acts as a critical intermediary. The department notes that since many upper-level subjects are "strongly proof-oriented," students find it useful to take 18.090 before tackling courses like 18.100 Real Analysis or 18.701 Algebra I. This bridges the often-challenging gap between computational introductory classes and abstract theoretical ones.
To practice these proof techniques, the course introduces foundational topics from higher-level math: It is ideal for math majors, minors, or
Developing the ability to write clear, logical, and rigorous mathematical proofs. Logical Fluency: Mastering the use of quantifiers ( ) and logical connectives to express complex ideas.
This public link is valid for 7 days and shares a thread, including any personal information you added. This link or copies made by others cannot be deleted. If you share with third parties, their policies apply. Can’t copy the link right now. Try again later. Mathematics (Course 18) | MIT Course Catalog
Are you trying to decide between ?
You will get proofs wrong, and graders will find holes in your logic. Treat every critique as a lesson in precise communication. Conclusion