18.090 Introduction To Mathematical Reasoning Mit
Before you can prove a theorem, you must understand the structure of a logical argument. Students learn:
The primary goal of 18.090 is to be a "bridge course" that prepares you for the challenging subjects that follow. The core of MIT's pure math sequence includes real analysis (18.100) and algebra (18.701/18.702). These are proof-heavy, and the math department explicitly states that experience with proofs is essential before enrolling in them.
: While 18.062J (Mathematics for Computer Science) also covers discrete math and proofs, 18.090 is more aligned with the "Pure Mathematics" track, preparing students for theoretical rigor.
Learning to distinguish between "inclusive or" (standard in math) and "exclusive or" (common in everyday English). Academic Role Within the MIT Mathematics Department 18.090 introduction to mathematical reasoning mit
Anyone whose career will require building complex, logically sound theoretical models. Tips for Success in Introduction to Mathematical Reasoning
Properties of integers, divisibility, and prime numbers.
The course is typically structured as a communication-intensive seminar. Students do not just listen to lectures; they actively present proofs on the blackboard, critique mathematical arguments, and rewrite solutions to achieve absolute logical rigor. Key Course Details: Mathematics Before you can prove a theorem, you must
A proof isn't just a list of steps; it's a narrative. Students are taught to write for an audience, ensuring every logical leap is justified.
Which advanced math branches () interest you most? Share public link
: Exploring set theory, functions (injections, surjections, bijections), and the profound differences between countable and uncountable infinities (e.g., Cantor's diagonal argument). 2. Introductory Abstract Algebra These are proof-heavy, and the math department explicitly
: Recent offerings, such as in Spring 2025, have been taught by faculty like Semyon Dyatlov and Bjorn Poonen , often involving lecture notes and weekly problem sets designed to build analytical thinking.
Students learn the formal language of mathematics, including:
Free that cover this material Share public link