Professional Documents
Culture Documents
Department of Mathematics: Bachelor of Science in Mathematics (Course 18) General Mathematics Option
Department of Mathematics: Bachelor of Science in Mathematics (Course 18) General Mathematics Option
DEPARTMENT OF MATHEMATICS
Bachelor of Science in Mathematics (Course 18)
Undergraduates in mathematics are encouraged to elect an Students planning to go on to graduate work in applied mathematics
undergraduate seminar during their junior or senior year. The should also take some basic subjects in analysis and algebra.
experience gained from active participation in a seminar conducted
by a research mathematician has proven to be valuable for students More detail on the Applied Mathematics option can be found on the
planning to pursue graduate work as well as for those going on to degree chart (http://catalog.mit.edu/degree-charts/mathematics-
other careers. These seminars also provide training in the verbal and course-18/#appliedmathematicstext).
written communication of mathematics and may be used to fulll the
Communication Requirement. Pure Mathematics Option
Pure (or "theoretical") mathematics is the study of the basic concepts
Many mathematics majors take 18.821 Project Laboratory in and structure of mathematics. Its goal is to arrive at a deeper
Mathematics, which fullls the Institute's Laboratory Requirement understanding and an expanded knowledge of mathematics itself.
and counts toward the Communication Requirement.
Traditionally, pure mathematics has been classied into three
general elds: analysis, which deals with continuous aspects of
mathematics; algebra, which deals with discrete aspects; and
Department of Mathematics | 3
DEPARTMENT OF MATHEMATICS
4 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Center within the Institute for Data, Systems, and Society. It is open Laurent Demanet, PhD
to current doctoral students in participating departments. For more Professor of Mathematics
information, including department-specic requirements, see the Professor of Earth, Atmospheric and Planetary Sciences
full program description (http://catalog.mit.edu/interdisciplinary/
graduate-programs/phd-statistics) under Interdisciplinary Graduate Joern Dunkel, PhD
Programs. Professor of Mathematics
Department of Mathematics | 5
DEPARTMENT OF MATHEMATICS
6 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 7
DEPARTMENT OF MATHEMATICS
8 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 9
DEPARTMENT OF MATHEMATICS
18.05 Introduction to Probability and Statistics 18.065 Matrix Methods in Data Analysis, Signal Processing, and
Prereq: Calculus II (GIR) Machine Learning
U (Spring) Subject meets with 18.0651
4-0-8 units. REST Prereq: 18.06
U (Spring)
Elementary introduction with applications. Basic probability 3-0-9 units
models. Combinatorics. Random variables. Discrete and continuous
probability distributions. Statistical estimation and testing. Reviews linear algebra with applications to life sciences, nance,
Condence intervals. Introduction to linear regression. engineering, and big data. Covers singular value decomposition,
J. French weighted least squares, signal and image processing, principal
component analysis, covariance and correlation matrices, directed
18.06 Linear Algebra and undirected graphs, matrix factorizations, neural nets, machine
Prereq: Calculus II (GIR) learning, and computations with large matrices.
U (Fall, Spring) S. G. Johnson
4-0-8 units. REST
Credit cannot also be received for 18.700, 18.C06 18.0651 Matrix Methods in Data Analysis, Signal Processing,
and Machine Learning
Basic subject on matrix theory and linear algebra, emphasizing Subject meets with 18.065
topics useful in other disciplines, including systems of equations, Prereq: 18.06
vector spaces, determinants, eigenvalues, singular value G (Spring)
decomposition, and positive denite matrices. Applications to 3-0-9 units
least-squares approximations, stability of dierential equations,
networks, Fourier transforms, and Markov processes. Uses linear Reviews linear algebra with applications to life sciences, nance,
algebra soware. Compared with 18.700, more emphasis on matrix engineering, and big data. Covers singular value decomposition,
algorithms and many applications. weighted least squares, signal and image processing, principal
Fall: S. G. Johnson. Spring: G. Strang component analysis, covariance and correlation matrices, directed
and undirected graphs, matrix factorizations, neural nets, machine
18.C06 Linear Algebra and Optimization (18.061) learning, and computations with large matrices. Students in Course
Prereq: Calculus II (GIR) 18 must register for the undergraduate version, 18.065.
U (Fall) S. G. Johnson
5-0-7 units. REST
Credit cannot also be received for 18.06, 18.700 18.075 Methods for Scientists and Engineers
Subject meets with 18.0751
Introductory course in linear algebra and optimization, assuming Prereq: Calculus II (GIR) and 18.03
no prior exposure to linear algebra and starting from the basics, U (Spring)
including vectors, matrices, eigenvalues, singular values, and 3-0-9 units
least squares. Covers the basics in optimization including convex Credit cannot also be received for 18.04
optimization, linear/quadratic programming, gradient descent, and
regularization, building on insights from linear algebra. Explores a Covers functions of a complex variable; calculus of residues.
variety of applications in science and engineering, where the tools Includes ordinary dierential equations; Bessel and Legendre
developed give powerful ways to understand complex systems and functions; Sturm-Liouville theory; partial dierential equations; heat
also extract structure from data. equation; and wave equations.
A. Moitra, P. Parrilo H. Cheng
10 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
18.0751 Methods for Scientists and Engineers 18.086 Computational Science and Engineering II
Subject meets with 18.075 Subject meets with 18.0861
Prereq: Calculus II (GIR) and 18.03 Prereq: Calculus II (GIR) and (18.03 or 18.032)
G (Spring) U (Spring)
3-0-9 units Not oered regularly; consult department
Credit cannot also be received for 18.04 3-0-9 units
Covers functions of a complex variable; calculus of residues. Initial value problems: nite dierence methods, accuracy and
Includes ordinary dierential equations; Bessel and Legendre stability, heat equation, wave equations, conservation laws and
functions; Sturm-Liouville theory; partial dierential equations; heat shocks, level sets, Navier-Stokes. Solving large systems: elimination
equation; and wave equations. Students in Courses 6, 8, 12, 18, and with reordering, iterative methods, preconditioning, multigrid,
22 must register for undergraduate version, 18.075. Krylov subspaces, conjugate gradients. Optimization and minimum
H. Cheng principles: weighted least squares, constraints, inverse problems,
calculus of variations, saddle point problems, linear programming,
18.085 Computational Science and Engineering I duality, adjoint methods.
Subject meets with 18.0851 Information: W. G. Strang
Prereq: Calculus II (GIR) and (18.03 or 18.032)
U (Fall, Spring, Summer) 18.0861 Computational Science and Engineering II
3-0-9 units Subject meets with 18.086
Prereq: Calculus II (GIR) and (18.03 or 18.032)
Review of linear algebra, applications to networks, structures, and G (Spring)
estimation, nite dierence and nite element solution of dierential Not oered regularly; consult department
equations, Laplace's equation and potential flow, boundary-value 3-0-9 units
problems, Fourier series, discrete Fourier transform, convolution.
Frequent use of MATLAB in a wide range of scientic and engineering Initial value problems: nite dierence methods, accuracy and
applications. stability, heat equation, wave equations, conservation laws and
Fall: P. T. Choi. Spring: D. Kouskoulas shocks, level sets, Navier-Stokes. Solving large systems: elimination
with reordering, iterative methods, preconditioning, multigrid,
18.0851 Computational Science and Engineering I Krylov subspaces, conjugate gradients. Optimization and minimum
Subject meets with 18.085 principles: weighted least squares, constraints, inverse problems,
Prereq: Calculus II (GIR) and (18.03 or 18.032) calculus of variations, saddle point problems, linear programming,
G (Fall, Spring, Summer) duality, adjoint methods. Students in Course 18 must register for the
3-0-9 units undergraduate version, 18.086.
Information: W. G. Strang
Review of linear algebra, applications to networks, structures,
and estimation, nite dierence and nite element solution of 18.089 Review of Mathematics
dierential equations, Laplace's equation and potential flow, Prereq: Permission of instructor
boundary-value problems, Fourier series, discrete Fourier transform, G (Summer)
convolution. Frequent use of MATLAB in a wide range of scientic and 5-0-7 units
engineering applications. Students in Course 18 must register for the
undergraduate version, 18.085. One-week review of one-variable calculus (18.01), followed by
Fall: P. T. Choi. Spring: D. Kouskoulas concentrated study covering multivariable calculus (18.02), two
hours per day for ve weeks. Primarily for graduate students in
Course 2N. Degree credit allowed only in special circumstances.
Information: W. Minicozzi
Department of Mathematics | 11
DEPARTMENT OF MATHEMATICS
12 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 13
DEPARTMENT OF MATHEMATICS
14 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 15
DEPARTMENT OF MATHEMATICS
The semi-classical theory of partial dierential equations. Discussion Study of illustrative topics in discrete applied mathematics,
of Pseudodierential operators, Fourier integral operators, including probability theory, information theory, coding theory,
asymptotic solutions of partial dierential equations, and the secret codes, generating functions, and linear programming.
spectral theory of Schroedinger operators from the semi-classical O. Ben Eliezer
perspective. Heavy emphasis placed on the symplectic geometric
underpinnings of this subject. 18.204 Undergraduate Seminar in Discrete Mathematics
R. B. Melrose Prereq: ((6.1200[J] or 18.200) and (18.06, 18.700, or 18.701)) or
permission of instructor
18.158 Topics in Dierential Equations U (Fall, Spring)
Prereq: 18.157 3-0-9 units
Acad Year 2022-2023: G (Spring)
Acad Year 2023-2024: Not oered Seminar in combinatorics, graph theory, and discrete mathematics
3-0-9 units in general. Participants read and present papers from recent
Can be repeated for credit. mathematics literature. Instruction and practice in written and oral
communication provided. Enrollment limited.
Topics vary from year to year. J. He, D. Mikulincer, M. Sherman-Bennett, A. Weigandt
L. Guth
18.211 Combinatorial Analysis
18.199 Graduate Analysis Seminar Prereq: Calculus II (GIR) and (18.06, 18.700, or 18.701)
Prereq: Permission of instructor U (Fall)
G (Fall) 3-0-9 units
Not oered regularly; consult department
3-0-9 units Combinatorial problems and methods for their solution.
Can be repeated for credit. Enumeration, generating functions, recurrence relations,
construction of bijections. Introduction to graph theory. Prior
Studies original papers in dierential analysis and dierential experience with abstraction and proofs is helpful.
equations. Intended for rst- and second-year graduate students. A. Weigandt
Permission must be secured in advance.
V. W. Guillemin 18.212 Algebraic Combinatorics
Prereq: 18.701 or 18.703
U (Spring)
Discrete Applied Mathematics
3-0-9 units
18.200 Principles of Discrete Applied Mathematics Applications of algebra to combinatorics. Topics include walks
Prereq: None. Coreq: 18.06 in graphs, the Radon transform, groups acting on posets, Young
U (Spring) tableaux, electrical networks.
4-0-11 units A. Postnikov
Credit cannot also be received for 18.200A
16 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 17
DEPARTMENT OF MATHEMATICS
18.303 Linear Partial Dierential Equations: Analysis and 18.327 Topics in Applied Mathematics
Numerics Prereq: Permission of instructor
Prereq: 18.06 or 18.700 Acad Year 2022-2023: G (Fall)
U (Spring) Acad Year 2023-2024: Not oered
3-0-9 units 3-0-9 units
Can be repeated for credit.
Provides students with the basic analytical and computational
tools of linear partial dierential equations (PDEs) for practical Topics vary from year to year.
applications in science and engineering, including heat/diusion, L. Demanet
wave, and Poisson equations. Analytics emphasize the viewpoint of
linear algebra and the analogy with nite matrix problems. Studies 18.330 Introduction to Numerical Analysis
operator adjoints and eigenproblems, series solutions, Green's Prereq: Calculus II (GIR) and (18.03 or 18.032)
functions, and separation of variables. Numerics focus on nite- U (Spring)
dierence and nite-element techniques to reduce PDEs to matrix 3-0-9 units
problems, including stability and convergence analysis and implicit/
explicit timestepping. Some programming required for homework Basic techniques for the ecient numerical solution of problems in
and nal project. science and engineering. Root nding, interpolation, approximation
V. Heinonen of functions, integration, dierential equations, direct and iterative
methods in linear algebra. Knowledge of programming in a language
18.305 Advanced Analytic Methods in Science and Engineering such as MATLAB, Python, or Julia is helpful.
Prereq: 18.04, 18.075, or 18.112 L. Demanet
G (Fall)
3-0-9 units 18.335[J] Introduction to Numerical Methods
Same subject as 6.7310[J]
Covers expansion around singular points: the WKB method on Prereq: 18.06, 18.700, or 18.701
ordinary and partial dierential equations; the method of stationary G (Spring)
phase and the saddle point method; the two-scale method and the 3-0-9 units
method of renormalized perturbation; singular perturbation and
boundary-layer techniques; WKB method on partial dierential Advanced introduction to numerical analysis: accuracy and eciency
equations. of numerical algorithms. In-depth coverage of sparse-matrix/iterative
H. Cheng and dense-matrix algorithms in numerical linear algebra (for linear
systems and eigenproblems). Floating-point arithmetic, backwards
18.306 Advanced Partial Dierential Equations with Applications error analysis, conditioning, and stability. Other computational
Prereq: (18.03 or 18.032) and (18.04, 18.075, or 18.112) topics (e.g., numerical integration or nonlinear optimization) may
Acad Year 2022-2023: Not oered also be surveyed. Final project involves some programming.
Acad Year 2023-2024: G (Spring) A. J. Horning
3-0-9 units
18 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
18.336[J] Fast Methods for Partial Dierential and Integral 18.352[J] Nonlinear Dynamics: The Natural Environment
Equations Same subject as 12.009[J]
Same subject as 6.7340[J] Prereq: Calculus II (GIR) and Physics I (GIR); Coreq: 18.03
Prereq: 6.7300[J], 16.920[J], 18.085, 18.335[J], or permission of Acad Year 2022-2023: Not oered
instructor Acad Year 2023-2024: U (Fall)
G (Fall) 3-0-9 units
3-0-9 units
See description under subject 12.009[J].
Unied introduction to the theory and practice of modern, near D. H. Rothman
linear-time, numerical methods for large-scale partial-dierential
and integral equations. Topics include preconditioned iterative 18.353[J] Nonlinear Dynamics: Chaos
methods; generalized Fast Fourier Transform and other butterfly- Same subject as 2.050[J], 12.006[J]
based methods; multiresolution approaches, such as multigrid Prereq: Physics II (GIR) and (18.03 or 18.032)
algorithms and hierarchical low-rank matrix decompositions; U (Fall)
and low and high frequency Fast Multipole Methods. Example 3-0-9 units
applications include aircra design, cardiovascular system
modeling, electronic structure computation, and tomographic See description under subject 12.006[J].
imaging. D. Rothman
K. Burns
18.354[J] Nonlinear Dynamics: Continuum Systems
18.337[J] Parallel Computing and Scientic Machine Learning Same subject as 1.062[J], 12.207[J]
Same subject as 6.7320[J] Subject meets with 18.3541
Prereq: 18.06, 18.700, or 18.701 Prereq: Physics II (GIR) and (18.03 or 18.032)
G (Spring) U (Spring)
3-0-9 units 3-0-9 units
Introduction to scientic machine learning with an emphasis on General mathematical principles of continuum systems. From
developing scalable dierentiable programs. Covers scientic microscopic to macroscopic descriptions in the form of linear
computing topics (numerical dierential equations, dense and or nonlinear (partial) dierential equations. Exact solutions,
sparse linear algebra, Fourier transformations, parallelization dimensional analysis, calculus of variations and singular
of large-scale scientic simulation) simultaneously with modern perturbation methods. Stability, waves and pattern formation in
data science (machine learning, deep neural networks, automatic continuum systems. Subject matter illustrated using natural fluid
dierentiation), focusing on the emerging techniques at the and solid systems found, for example, in geophysics and biology.
connection between these areas, such as neural dierential J. Dunkel
equations and physics-informed deep learning. Provides direct
experience with the modern realities of optimizing code performance 18.3541 Nonlinear Dynamics: Continuum Systems
for supercomputers, GPUs, and multicores in a high-level language. Subject meets with 1.062[J], 12.207[J], 18.354[J]
A. Edelman Prereq: Physics II (GIR) and (18.03 or 18.032)
G (Spring)
18.338 Eigenvalues of Random Matrices 3-0-9 units
Prereq: 18.701 or permission of instructor General mathematical principles of continuum systems. From
G (Fall) microscopic to macroscopic descriptions in the form of linear
3-0-9 units or nonlinear (partial) dierential equations. Exact solutions,
Covers the modern main results of random matrix theory as it dimensional analysis, calculus of variations and singular
is currently applied in engineering and science. Topics include perturbation methods. Stability, waves and pattern formation in
matrix calculus for nite and innite matrices (e.g., Wigner's semi- continuum systems. Subject matter illustrated using natural fluid
circle and Marcenko-Pastur laws), free probability, random graphs, and solid systems found, for example, in geophysics and biology.
combinatorial methods, matrix statistics, stochastic operators, Students in Courses 1, 12, and 18 must register for undergraduate
passage to the continuum limit, moment methods, and compressed version, 18.354[J].
sensing. Knowledge of Julia helpful, but not required. J. Dunkel
A. Edelman
Department of Mathematics | 19
DEPARTMENT OF MATHEMATICS
Topics include the development of Navier-Stokes equations, inviscid The mathematics of inverse problems involving waves, with
flows, boundary layers, lubrication theory, Stokes flows, and surface examples taken from reflection seismology, synthetic aperture
tension. Fundamental concepts illustrated through problems drawn radar, and computerized tomography. Suitable for graduate students
from a variety of areas, including geophysics, biology, and the from all departments who have anities with applied mathematics.
dynamics of sport. Particular emphasis on the interplay between Topics include acoustic, elastic, electromagnetic wave equations;
dimensional analysis, scaling arguments, and theory. Includes geometrical optics; scattering series and inversion; migration and
classroom and laboratory demonstrations. backprojection; adjoint-state methods; Radon and curvilinear
J. W. Bush Radon transforms; microlocal analysis of imaging; optimization,
regularization, and sparse regression.
18.357 Interfacial Phenomena L. Demanet
Prereq: 2.25, 12.800, 18.354[J], 18.355, or permission of instructor
Acad Year 2022-2023: G (Fall) 18.369[J] Mathematical Methods in Nanophotonics
Acad Year 2023-2024: Not oered Same subject as 8.315[J]
3-0-9 units Prereq: 8.07, 18.303, or permission of instructor
Acad Year 2022-2023: Not oered
Fluid systems dominated by the influence of interfacial tension. Acad Year 2023-2024: G (Spring)
Elucidates the roles of curvature pressure and Marangoni stress in 3-0-9 units
a variety of hydrodynamic settings. Particular attention to drops
and bubbles, soap lms and minimal surfaces, wetting phenomena, High-level approaches to understanding complex optical media,
water-repellency, surfactants, Marangoni flows, capillary origami structured on the scale of the wavelength, that are not generally
and contact line dynamics. Theoretical developments are analytically soluable. The basis for understanding optical
accompanied by classroom demonstrations. Highlights the role of phenomena such as photonic crystals and band gaps, anomalous
surface tension in biology. diraction, mechanisms for optical connement, optical bers (new
J. W. Bush and old), nonlinearities, and integrated optical devices. Methods
covered include linear algebra and eigensystems for Maxwell's
18.358[J] Nonlinear Dynamics and Turbulence equations, symmetry groups and representation theory, Bloch's
Same subject as 1.686[J], 2.033[J] theorem, numerical eigensolver methods, time and frequency-
Subject meets with 1.068 domain computation, perturbation theory, and coupled-mode
Prereq: 1.060A theories.
Acad Year 2022-2023: Not oered S. G. Johnson
Acad Year 2023-2024: G (Spring)
3-2-7 units 18.376[J] Wave Propagation
Same subject as 1.138[J], 2.062[J]
See description under subject 1.686[J]. Prereq: 2.003[J] and 18.075
L. Bourouiba G (Spring)
3-0-9 units
20 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
A unied treatment of nonlinear oscillations and wave phenomena Content varies from year to year. Recent developments in quantum
with applications to mechanical, optical, geophysical, fluid, eld theory require mathematical techniques not usually covered in
electrical and flow-structure interaction problems. Nonlinear free and standard graduate subjects.
forced vibrations; nonlinear resonances; self-excited oscillations; V. G. Kac
lock-in phenomena. Nonlinear dispersive and nondispersive waves;
resonant wave interactions; propagation of wave pulses and
Theoretical Computer Science
nonlinear Schrodinger equation. Nonlinear long waves and breaking;
theory of characteristics; the Korteweg-de Vries equation; solitons 18.400[J] Computability and Complexity Theory
and solitary wave interactions. Stability of shear flows. Some topics Same subject as 6.1400[J]
and applications may vary from year to year. Prereq: 6.1210 or permission of instructor
R. R. Rosales U (Spring)
4-0-8 units
18.384 Undergraduate Seminar in Physical Mathematics
Prereq: 12.006[J], 18.300, 18.354[J], or permission of instructor See description under subject 6.1400[J].
U (Fall) R. Williams, R. Rubinfeld
3-0-9 units
18.404 Theory of Computation
Covers the mathematical modeling of physical systems, with Subject meets with 6.5400[J], 18.4041[J]
emphasis on the reading and presentation of papers. Addresses Prereq: 6.1200[J] or 18.200
a broad range of topics, with particular focus on macroscopic U (Fall)
physics and continuum systems: fluid dynamics, solid mechanics, 4-0-8 units
and biophysics. Instruction and practice in written and oral
communication provided. Enrollment limited. A more extensive and theoretical treatment of the material in
O. Kodio 6.1400[J]/18.400[J], emphasizing computability and computational
complexity theory. Regular and context-free languages. Decidable
18.385[J] Nonlinear Dynamics and Chaos and undecidable problems, reducibility, recursive function theory.
Same subject as 2.036[J] Time and space measures on computation, completeness, hierarchy
Prereq: 18.03 or 18.032 theorems, inherently complex problems, oracles, probabilistic
Acad Year 2022-2023: Not oered computation, and interactive proof systems.
Acad Year 2023-2024: G (Fall) M. Sipser
3-0-9 units
Department of Mathematics | 21
DEPARTMENT OF MATHEMATICS
Current research topics in computational complexity theory. Introduces the basic computational methods used to model and
Nondeterministic, alternating, probabilistic, and parallel predict the structure of biomolecules (proteins, DNA, RNA). Covers
computation models. Boolean circuits. Complexity classes and classical techniques in the eld (molecular dynamics, Monte Carlo,
complete sets. The polynomial-time hierarchy. Interactive proof dynamic programming) to more recent advances in analyzing and
systems. Relativization. Denitions of randomness. Pseudo- predicting RNA and protein structure, ranging from Hidden Markov
randomness and derandomizations. Interactive proof systems and Models and 3-D lattice models to attribute Grammars and tree
probabilistically checkable proofs. Grammars.
R. Williams B. Berger
18.408 Topics in Theoretical Computer Science 18.418[J] Topics in Computational Molecular Biology
Prereq: Permission of instructor Same subject as HST.504[J]
G (Fall, Spring) Prereq: 6.8701, 18.417, or permission of instructor
3-0-9 units G (Fall)
Can be repeated for credit. 3-0-9 units
Can be repeated for credit.
Study of areas of current interest in theoretical computer science.
Topics vary from term to term. Covers current research topics in computational molecular biology.
Fall: D. Minzer. Spring: A. Moitra Recent research papers presented from leading conferences such as
the International Conference on Computational Molecular Biology
18.410[J] Design and Analysis of Algorithms (RECOMB) and the Conference on Intelligent Systems for Molecular
Same subject as 6.1220[J] Biology (ISMB). Topics include original research (both theoretical
Prereq: 6.1210 and experimental) in comparative genomics, sequence and structure
U (Fall, Spring) analysis, molecular evolution, proteomics, gene expression,
4-0-8 units transcriptional regulation, biological networks, drug discovery,
and privacy. Recent research by course participants also covered.
See description under subject 6.1220[J]. Participants will be expected to present individual projects to the
E. Demaine, M. Goemans class.
B. Berger
22 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 23
DEPARTMENT OF MATHEMATICS
18.510 Introduction to Mathematical Logic and Set Theory 18.642 Topics in Mathematics with Applications in Finance
Prereq: None Prereq: 18.03, 18.06, and (18.05 or 18.600)
Acad Year 2022-2023: Not oered U (Fall)
Acad Year 2023-2024: U (Fall) 3-0-9 units
3-0-9 units
Introduction to mathematical concepts and techniques used in
Propositional and predicate logic. Zermelo-Fraenkel set theory. nance. Lectures focusing on linear algebra, probability, statistics,
Ordinals and cardinals. Axiom of choice and transnite induction. stochastic processes, and numerical methods are interspersed
Elementary model theory: completeness, compactness, and with lectures by nancial sector professionals illustrating the
Lowenheim-Skolem theorems. Godel's incompleteness theorem. corresponding application in the industry. Prior knowledge of
H. Cohn economics or nance helpful but not required.
P. Kempthorne, V. Strela, J. Xia
18.515 Mathematical Logic
Prereq: Permission of instructor
G (Spring)
Not oered regularly; consult department
3-0-9 units
24 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 25
DEPARTMENT OF MATHEMATICS
26 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Continuation of the introduction to algebraic geometry given in Topics vary from year to year.
18.725. More advanced properties of the varieties and morphisms of P. I. Etingof
schemes, as well as sheaf cohomology.
D. Maulik 18.748 Topics in Lie Theory
Prereq: Permission of instructor
Acad Year 2022-2023: G (Spring)
Acad Year 2023-2024: Not oered
3-0-9 units
Can be repeated for credit.
Department of Mathematics | 27
DEPARTMENT OF MATHEMATICS
Exposes students to arithmetic geometry, motivated by the problem 18.785 Number Theory I
of nding rational points on curves. Includes an introduction to p- Prereq: None. Coreq: 18.705
adic numbers and some fundamental results from number theory G (Fall)
and algebraic geometry, such as the Hasse-Minkowski theorem and 3-0-9 units
the Riemann-Roch theorem for curves. Additional topics may include
Mordell's theorem, the Weil conjectures, and Jacobian varieties. Dedekind domains, unique factorization of ideals, splitting of
S. Chidambaram primes. Lattice methods, niteness of the class group, Dirichlet's
unit theorem. Local elds, ramication, discriminants. Zeta and
L-functions, analytic class number formula. Adeles and ideles.
Statements of class eld theory and the Chebotarev density
theorem.
B. Poonen
28 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
18.786 Number Theory II 18.897[J] Leadership and Professional Strategies & Skills
Prereq: 18.785 Training (LEAPS), Part II: Developing Your Leadership
G (Spring) Competencies (New)
3-0-9 units Same subject as 5.962[J], 8.397[J], 9.981[J], 12.397[J]
Prereq: None
Continuation of 18.785. More advanced topics in number theory, G (Spring; rst half of term)
such as Galois cohomology, proofs of class eld theory, modular 2-0-1 units
forms and automorphic forms, Galois representations, or quadratic
forms. See description under subject 8.397[J]. Limited to 80.
A. Sutherland D. Rigos
Department of Mathematics | 29
DEPARTMENT OF MATHEMATICS
30 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 31
DEPARTMENT OF MATHEMATICS
32 | Department of Mathematics
DEPARTMENT OF MATHEMATICS
Department of Mathematics | 33