The course covers the "alphabet" of higher mathematics, including: Foundational Logic : Mastering quantifiers like (for all) and there exists (there exists), and the mechanics of implication ( right arrow Set Theory
Direct proof, contradiction, induction, or strong induction applied to number theory (e.g., the infinitude of primes). Algebraic Concepts: Permutations, fields, or the properties of vector spaces. Convergence of real number sequences using definitions. 2. Structure Your Mathematical Paper
Typical syllabus structure (concept progression)
The course curriculum is a blend of fundamental logic and introductory concepts from higher-level mathematics: 18.0x - MIT Mathematics
While specific topics can vary by instructor (recent versions have been taught by faculty like Semyon Dyatlov Paul Seidel
A typical 18.090 problem:
The syllabus generally follows a progression from logic to specific mathematical structures.
The course covers the "alphabet" of higher mathematics, including: Foundational Logic : Mastering quantifiers like (for all) and there exists (there exists), and the mechanics of implication ( right arrow Set Theory
Direct proof, contradiction, induction, or strong induction applied to number theory (e.g., the infinitude of primes). Algebraic Concepts: Permutations, fields, or the properties of vector spaces. Convergence of real number sequences using definitions. 2. Structure Your Mathematical Paper
Typical syllabus structure (concept progression)
The course curriculum is a blend of fundamental logic and introductory concepts from higher-level mathematics: 18.0x - MIT Mathematics
While specific topics can vary by instructor (recent versions have been taught by faculty like Semyon Dyatlov Paul Seidel
A typical 18.090 problem:
The syllabus generally follows a progression from logic to specific mathematical structures.
