A typical 18.090 problem:
MIT 18.090 is an undergraduate seminar course focusing on the conceptual development of mathematics. While standard calculus tracks (like 18.01 and 18.02) focus on algorithms, derivatives, and integrations, 18.090 pivots toward .
Proving properties of vectors, spanning, and independence. Fields: Understanding the properties of real ( Rthe real numbers ) and complex ( Cthe complex numbers ) numbers. 4. Topics in Analysis Real Number System: Completeness axiom.
That "aha" moment—seeing why contrapositive works—is what 18.090 delivers again and again. 18.090 introduction to mathematical reasoning mit
It assumes a baseline understanding of calculus but focuses more on mathematical structure than computation 2.2.1.
Modular arithmetic (clock math) and equivalence classes.
: Working with integers, divisors, and mathematical induction. Abstract Structures A typical 18
Assuming the hypothesis is true and logically deriving the conclusion.
Modern computer science is deeply rooted in discrete math. Writing clean algorithms, debugging complex systems, and understanding cryptography all rely on the same boolean logic and induction taught in 18.090.
The course is highly recommended for students who found 18.01 or 18.02 challenging in terms of rigor, or who simply want to gain a stronger footing in pure mathematics. Core Topics Covered Fields: Understanding the properties of real ( Rthe
The curriculum of 18.090 centers around teaching students how to think like a mathematician. The course generally covers the following areas 3.2.2: 1. Foundational Logic and Proof Techniques
If you'd like to explore how 18.090 compares to other math subjects at MIT, or want to know more about the prerequisites for higher-level courses, let me know!
Confusion often arises because MIT has multiple courses that involve proofs. Here is the hierarchy:
Typical syllabus structure (concept progression)
Students redefine the concept of a function through a rigorous set-theoretic lens, studying: