The heart of the course lies in writing proofs. In 18.090, you learn that a proof is not just a collection of symbols, but an essay written in prose that guides the reader inevitably to a conclusion. Here are the primary proof methods taught: Assuming a statement
Modern cryptography, database theory, and artificial intelligence rely heavily on discrete math and logic. Understanding relations, graphs, and modular arithmetic is critical for writing secure, optimized code. 18.090 introduction to mathematical reasoning mit
Defining functions rigorously via injections (one-to-one), surjections (onto), and bijections (invertible). The heart of the course lies in writing proofs
3-0-9 (3 hours of lecture, 0 hours of lab, and 9 hours of preparation/homework per week) Prerequisites: None Corequisites: Calculus II (GIR) (18.02 or equivalent) Term Offered: Spring If you struggled with the proof portions of 6
: Assuming the hypothesis is true and logically deriving the conclusion.
If you struggled with the proof portions of 6.042 or feel lost reading a math textbook, 18.090 is your parachute.