18.090 Introduction To Mathematical Reasoning Mit !link! -

: Infinite sets, cardinality, relations, and functions.

The curriculum balances foundational logic with concrete applications in algebra and analysis: : Predicate logic, truth tables, quantifiers ( ), and methods of proof.

The primary objectives of are:

Many successful students keep a proof journal. Every time they encounter a new technique (e.g., “Proof by minimum counterexample”), they write a template. This becomes their cheat sheet for exams.

The Massachusetts Institute of Technology (MIT) is renowned for its rigorous academic programs, and its Department of Mathematics is no exception. One of the foundational courses offered by the department is , a unique and challenging course that introduces students to the art of mathematical reasoning. In this article, we will explore the course in-depth, discussing its objectives, structure, and significance in the mathematics curriculum. 18.090 introduction to mathematical reasoning mit

While specific instructors (like Prof. Paul Seidel or Prof. Henry Cohn) may vary the curriculum, the canonical topics of 18.090 are remarkably stable.

18.090 is a prerequisite or co-requisite for almost every advanced math class at MIT: : Infinite sets, cardinality, relations, and functions

First-year or second-year students who want to transition from computation-based math (calculus, ODEs) to proof-based mathematics. Not ideal for: Those seeking a lightweight or purely computational math class.

The material is foundational, not flashy. If you enjoy applied math or computation, the abstract nature can feel tedious. Every time they encounter a new technique (e

: Twice weekly sessions (e.g., Tuesday and Thursday).