Reviews material presented in MATH 1110 lectures, provides problem-solving techniques and tips as well as prelim review. Provides further instruction for students who need reinforcement. Not a substitute for attending MATH 1110 lectures.

Full details for MATH 1011 - Academic Support for MATH 1110

Reviews material presented in MATH 1120 lectures, provides problem-solving techniques and tips as well as prelim review. Provides further instruction for students who need reinforcement. Not a substitute for attending MATH 1120 lectures or discussions.

Full details for MATH 1012 - Academic Support for MATH 1120

Reviews material presented in MATH 2210 lectures, provides problem-solving techniques and tips as well as prelim review. Provides further instruction for students who need reinforcement. Not a substitute for attending MATH 2210 lectures or discussions.

Full details for MATH 1021 - Academic Support for MATH 2210

Introduces topics in calculus: limits, rates of change, definition of and techniques for finding derivatives, relative and absolute extrema, and applications. The calculus content of the course is similar to 1/3 of the content covered in MATH 1106 and MATH 1110. In addition, the course includes a variety of topics of algebra, with emphasis on the development of linear, power, exponential, logarithmic, and trigonometric functions. Because of the strong emphasis on graphing, students will have a better understanding of asymptotic behavior of these functions.

Full details for MATH 1101 - Calculus Preparation

Introduction to linear algebra, probability, and Markov chains that develops the parts of the theory most relevant for applications. Specific topics include equations of lines, the method of least squares, solutions of linear systems, matrices; basic concepts of probability, permutations, combinations, binomial distribution, mean and variance, and the normal approximation to the binomial distribution. Examples from biology and the social sciences are used.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 1105 - Finite Mathematics for the Life and Social Sciences

Topics include functions and graphs, limits and continuity, differentiation and integration of algebraic, trigonometric, inverse trig, logarithmic, and exponential functions; applications of differentiation, including graphing, max-min problems, tangent line approximation, implicit differentiation, and applications to the sciences; the mean value theorem; and antiderivatives, definite and indefinite integrals, the fundamental theorem of calculus, and the area under a curve.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 1110 - Calculus I

Focuses on integration: applications, including volumes and arc length; techniques of integration, approximate integration with error estimates, improper integrals, differential equations and their applications. Also covers infinite sequences and series: definition and tests for convergence, power series, Taylor series with remainder, and parametric equations.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 1120 - Calculus II

For students who wish to experience how mathematical ideas naturally evolve. The course emphasizes ideas and imagination rather than techniques and calculations. Homework involves students in actively investigating mathematical ideas. Topics vary depending on the instructor. Some assessment through writing assignments.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 1300 - Mathematical Explorations

Introductory statistics course discussing techniques for analyzing data occurring in the real world and the mathematical and philosophical justification for these techniques. Topics include population and sample distributions, central limit theorem, statistical theories of point estimation, confidence intervals, testing hypotheses, the linear model, and the least squares estimator. The course concludes with a discussion of tests and estimates for regression and analysis of variance (if time permits). The computer is used to demonstrate some aspects of the theory, such as sampling distributions and the Central Limit Theorem. In the lab portion of the course, students learn and use computer-based methods for implementing the statistical methodology presented in the lectures.

Catalog Distribution: (MQR-AS, SDS-AS)

Full details for MATH 1710 - Statistical Theory and Application in the Real World

Essentially a second course in calculus. Topics include techniques of integration, finding areas and volumes by integration, exponential growth, partial fractions, infinite sequences and series, tests of convergence, and power series.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 1910 - Calculus for Engineers

Introduction to multivariable calculus. Topics include partial derivatives, double and triple integrals, line and surface integrals, vector fields, Green's theorem, Stokes' theorem, and the divergence theorem.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 1920 - Multivariable Calculus for Engineers

Topics include vector algebra, linear transformations, matrices, determinants, orthogonality, eigenvalues, and eigenvectors. Applications are made to linear differential or difference equations. The lectures introduce students to formal proofs. Students are required to produce some proofs in their homework and on exams.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 2210 - Linear Algebra

Differential and integral calculus of functions in several variables, line and surface integrals as well as the theorems of Green, Stokes, and Gauss.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 2220 - Multivariable Calculus

Topics include vectors, matrices, and linear transformations; differential calculus of functions of several variables; inverse and implicit function theorems; quadratic forms, extrema, and manifolds; multiple and iterated integrals.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 2230 - Theoretical Linear Algebra and Calculus

Introduction to ordinary and partial differential equations. Topics include: first-order equations (separable, linear, homogeneous, exact); mathematical modeling (e.g., population growth, terminal velocity); qualitative methods (slope fields, phase plots, equilibria, and stability); numerical methods; second-order equations (method of undetermined coefficients, application to oscillations and resonance, boundary-value problems and eigenvalues); and Fourier series. A substantial part of this course involves partial differential equations, such as the heat equation, the wave equation, and Laplace's equation. (This part must be present in any outside course being considered for transfer credit to Cornell as a substitute for MATH 2930.)

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 2930 - Differential Equations for Engineers

Linear algebra and its applications. Topics include: matrices, determinants, vector spaces, eigenvalues and eigenvectors, orthogonality and inner product spaces; applications include brief introductions to difference equations, Markov chains, and systems of linear ordinary differential equations. May include computer use in solving problems.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 2940 - Linear Algebra for Engineers

In mathematics, the methodology of proof provides a central tool for confirming the validity of mathematical assertions, functioning much as the experimental method does in the physical sciences. In this course, students learn various methods of mathematical proof, starting with basic techniques in propositional and predicate calculus and in set theory and combinatorics, and then moving to applications and illustrations of these via topics in one or more of the three main pillars of mathematics: algebra, analysis, and geometry. Since cogent communication of mathematical ideas is important in the presentation of proofs, the course emphasizes clear, concise exposition.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 3040 - Prove It!

Provides a transition from calculus to real analysis. Topics include rigorous treatment of fundamental concepts in calculus: including limits and convergence of sequences and series, compact sets; continuity, uniform continuity and differentiability of functions. Emphasis is placed upon understanding and constructing mathematical proofs.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 3110 - Introduction to Analysis

A manifold is a type of subset of Euclidean space that has a well-defined tangent space at every point. Such a set is amenable to the methods of multivariable calculus. After a review of some relevant calculus, this course investigates manifolds and the structures that they are endowed with, such as tangent vectors, boundaries, orientations, and differential forms. The notion of a differential form encompasses such ideas as area forms and volume forms, the work exerted by a force, the flow of a fluid, and the curvature of a surface, space, or hyperspace. The course re-examines the integral theorems of vector calculus (Green, Gauss, and Stokes) in the light of differential forms and applies them to problems in partial differential equations, topology, fluid mechanics, and electromagnetism.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 3210 - Manifolds and Differential Forms

A one-semester introduction to the theory and techniques of ordinary differential equations. Topics may include first-order and second-order differential equations, systems of linear differential equations, initial-value and two-point boundary-value problems, Sturm-Liouville theory, Sturm oscillation and comparison theory, the basic existence and uniqueness theorems, series solutions, special functions, and Laplace transforms. Applications from science and engineering may also be included at the instructor's discretion.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 3270 - Introduction to Ordinary Differential Equations

An introductory course on number theory, the branch of algebra that studies the deeper properties of integers and their generalizations. Usually includes most of the following topics: the Euclidean algorithm, continued fractions, Pythagorean triples, Diophantine equations such as Pell's equation, congruences, quadratic reciprocity, binary quadratic forms, Gaussian integers, and factorization in quadratic number fields. May include a brief introduction to Fermat's Last Theorem.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 3320 - Introduction to Number Theory

An introduction to structures of abstract algebra, including groups, rings, fields, factorization of polynomials and integers, congruences, and the structure of finite abelian groups. Additional topics include modules over Euclidean domain and Sylow theorems.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 3340 - Abstract Algebra

Introduction to the theory and practice of mathematical modeling. This course compares and contrasts different types of mathematical models (discrete vs. continuous, deterministic vs. stochastic), focusing on advantages, disadvantages and limits of applicability for each approach. Case-study format covers a variety of application areas including economics, physics, sociology, traffic engineering, urban planning, robotics, and resource management. Students learn how to implement mathematical models on the computer and how to interpret/describe the results of their computational experiments.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 3610 - Mathematical Modeling

Modal logic is a general logical framework for systematizing reasoning about qualified and relativized truth. It has been used to study the logic of possibility, time, knowledge, obligation, provability, and much more. This course will explore both the theoretical foundations and the various philosophical applications of modal logic. On the theoretical side, we will cover basic metatheory, including Kripke semantics, soundness and completeness, correspondence theory, and expressive power. On the applied side, we will examine temporal logic, epistemic logic, deontic logic, counterfactuals, two-dimensional logics, and quantified modal logic. 

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 3850 - Modal Logic

Introduction to the rigorous theory underlying calculus, covering the real number system and functions of one variable. Based entirely on proofs. The student is expected to know how to read and, to some extent, construct proofs before taking this course. Topics typically include construction of the real number system, properties of the real number system, continuous functions, differential and integral calculus of functions of one variable, sequences and series of functions.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4130 - Honors Introduction to Analysis I

Covers ordinary differential equations in one and higher dimensions: qualitative, analytic, and numerical methods. Emphasis is on differential equations as models and the implications of the theory for the behavior of the system being modeled and includes an introduction to bifurcations.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4200 - Differential Equations and Dynamical Systems

Covers complex variables, Fourier transforms, Laplace transforms and applications to partial differential equations. Additional topics may include an introduction to generalized functions.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4220 - Applied Complex Analysis

Introduction to the fundamentals of numerical analysis: error analysis, approximation, interpolation, numerical integration. In the second half of the course, the above are used to build approximate solvers for ordinary and partial differential equations. Strong emphasis is placed on understanding the advantages, disadvantages, and limits of applicability for all the covered techniques. Computer programming is required to test the theoretical concepts throughout the course.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4250 - Numerical Analysis and Differential Equations

Introduction to linear algebra, including the study of vector spaces, linear transformations, matrices, and systems of linear equations. Additional topics are quadratic forms and inner product spaces, canonical forms for various classes of matrices and linear transformations.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4310 - Linear Algebra

Honors version of a course in advanced linear algebra, which treats the subject from an abstract and axiomatic viewpoint. Topics include vector spaces, linear transformations, polynomials, determinants, tensor and wedge products, canonical forms, inner product spaces, and bilinear forms. Emphasis is on understanding the theory of linear algebra; homework and exams include at least as many proofs as computational problems.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4330 - Honors Linear Algebra

Introduction to algebraic geometry and computational algebra. In this course, students learn how to compute a Gröbner basis for polynomials in many variables. Covers the following applications: solving systems of polynomial equations in many variables, solving diophantine equations in many variables, 3-colorable graphs, and integer programming. Such applications arise, for example, in computer science, engineering, economics, and physics.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4370 - Computational Algebra

Combinatorics is the study of discrete structures that arise in a variety of areas, particularly in other areas of mathematics, computer science, and many areas of application. Central concerns are often to count objects having a particular property (e.g., trees) or to prove that certain structures exist (e.g., matchings of all vertices in a graph). The first semester of this sequence covers basic questions in graph theory, including extremal graph theory (how large must a graph be before one is guaranteed to have a certain subgraph) and Ramsey theory (which shows that large objects are forced to have structure). Variations on matching theory are discussed, including theorems of Dilworth, Hall, König, and Birkhoff, and an introduction to network flow theory. Methods of enumeration (inclusion/exclusion, Möbius inversion, and generating functions) are introduced and applied to the problems of counting permutations, partitions, and triangulations.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4410 - Introduction to Combinatorics I

An introduction to projective, hyperbolic, and spherical geometry and their modern applications.  The course will be divided into short modules with an emphasis on participation, discovery, and student projects and presentations. In addition to proving theorems, students will have the opportunity to make, build, 3D print, or program something related to the course material as a project component. We will cover classical theorems and techniques (e.g. stereographic projection and conics), and also see how classical geometry is used in and relates to other areas of mathematics (e.g. topology, via Euler characteristic) and in applications such as computer vision, networks, or architectural drawing.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4520 - Classical Geometries and Modern Applications

Topology may be described briefly as qualitative geometry. This course begins with basic point-set topology, including connectedness, compactness, and metric spaces. Later topics may include the classification of surfaces (such as the Klein bottle and Möbius band), elementary knot theory, or the fundamental group and covering spaces.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4530 - Introduction to Topology

Introduction to probability theory, which prepares the student to take MATH 4720. The course begins with basics: combinatorial probability, mean and variance, independence, conditional probability, and Bayes formula. Density and distribution functions and their properties are introduced. The law of large numbers and the central limit theorem are stated and their implications for statistics are discussed.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4710 - Basic Probability

Topics chosen from the following: propositional logic, first-order logic, and higher-order logic, both classical and intuitionistic versions, including completeness, incompleteness, and compactness results. Natural deduction and tableaux style logics and connection to the lambda calculus and programming languages and logics, and program verification.

Catalog Distribution: (MQR-AS, SMR-AS)

Full details for MATH 4860 - Applied Logic

An independent research course by arrangement with an individual professor.  The goal is for the student to perform an independent investigation into a specific mathematical question.  The student and professor will set expectations and grading policies at the beginning of the term.

Full details for MATH 4900 - Supervised Research

An independent reading course by arrangement with an individual professor. The goal is for the student to master a body of mathematics outside the normal curriculum. The student and professor will set expectations and grading policies at the beginning of the term.

Full details for MATH 4901 - Supervised Reading

Examines principles underlying the content of the secondary school mathematics curriculum, including connections with the history of mathematics, technology, and mathematics education research. One credit is awarded for attending two Saturday workshops (see math.cornell.edu/math-5080) and writing a paper. Other credit options are available for students completing additional work, such as tutoring at a local middle school or completing a research paper or project.

Full details for MATH 4980 - Special Study for Mathematics Teaching

This independent study course offers math majors (i.e., undergraduates whose applications to affiliate with the math major have been approved) an opportunity to reflect on concepts from mathematics as they were encountered and applied in a recent internship. Students write a short paper describing their work experience and how it connects to the educational objectives of the mathematics major.

Full details for MATH 4997 - Practical Training in Mathematics

Examines principles underlying the content of the secondary school mathematics curriculum, including connections with the history of mathematics, technology, and mathematics education research.

Full details for MATH 5080 - Special Study for Teachers

Covers ordinary differential equations in one and higher dimensions: qualitative, analytic, and numerical methods. Emphasis is on differential equations as models and the implications of the theory for the behavior of the system being modeled and includes an introduction to bifurcations.

Full details for MATH 5200 - Differential Equations and Dynamical Systems

Covers complex variables, Fourier transforms, Laplace transforms and applications to partial differential equations. Additional topics may include an introduction to generalized functions.

Full details for MATH 5220 - Applied Complex Analysis

Introduction to the fundamentals of numerical analysis: error analysis, approximation, interpolation, numerical integration. In the second half of the course, the above are used to build approximate solvers for ordinary and partial differential equations. Strong emphasis is placed on understanding the advantages, disadvantages, and limits of applicability for all the covered techniques.

Full details for MATH 5250 - Numerical Analysis and Differential Equations

Combinatorics is the study of discrete structures that arise in a variety of areas, particularly in other areas of mathematics, computer science, and many areas of application. Central concerns are often to count objects having a particular property (e.g., trees) or to prove that certain structures exist (e.g., matchings of all vertices in a graph). The first semester of this sequence covers basic questions in graph theory, including extremal graph theory (how large must a graph be before one is guaranteed to have a certain subgraph) and Ramsey theory (which shows that large objects are forced to have structure). Variations on matching theory are discussed, including theorems of Dilworth, Hall, König, and Birkhoff, and an introduction to network flow theory. Methods of enumeration (inclusion/exclusion, Möbius inversion, and generating functions) are introduced and applied to the problems of counting permutations, partitions, and triangulations.

Full details for MATH 5410 - Introduction to Combinatorics I

MATH 6110-MATH 6120 are the core analysis courses in the mathematics graduate program. MATH 6110 covers abstract measure and integration theory, and related topics such as the Lebesgue integration theorem, the Radon-Nikodym theorem, the Hardy-Littlewood maximal function, the Brunn-Minkowski inequality, rectifiable curves and the isoperimetric inequality, Hausdorff dimension and Cantor sets, and an introduction to ergodic theory.

Full details for MATH 6110 - Real Analysis

This course emphasizes the "classical" aspects of partial differential equations (PDEs) — analytic methods for linear second-order PDEs and first-order nonlinear PDEs — without relying on more modern tools of functional analysis. The usual topics include fundamental solutions for the Laplace/Poisson, heat and and wave equations in Rn, mean-value properties, maximum principles, energy methods, Duhamel's principle, and an introduction to nonlinear first-order equations, including shocks and weak solutions. Additional topics may include Hamilton-Jacobi equations, Euler-Lagrange equations, similarity solutions, transform methods, asymptotics, power series methods, homogenization, distribution theory, and the Fourier transform.

Full details for MATH 6150 - Partial Differential Equations

Covers measure theory, integration, and Lp spaces.

Full details for MATH 6210 - Measure Theory and Lebesgue Integration

MATH 6310-MATH 6320 are the core algebra courses in the mathematics graduate program. MATH 6310 covers group theory, especially finite groups; rings and modules; ideal theory in commutative rings; arithmetic and factorization in principal ideal domains and unique factorization domains; introduction to field theory; tensor products and multilinear algebra. (Optional topic: introduction to affine algebraic geometry.)

Full details for MATH 6310 - Algebra

Covers the basics of Lie groups and Lie algebras. Topics include real and complex Lie groups, relations between Lie groups and Lie algebras, exponential map, homogeneous manifolds and the classification of simple Lie algebras.

Full details for MATH 6390 - Lie Groups and Lie Algebras

An introduction to enumerative combinatorics from an algebraic, geometric and topological point of view. Topics include, but are not limited to, permutation statistics, partitions, generating functions and combinatorial species, various types of posets and lattices (distributive, geometric, and Eulerian), Möbius inversion, face numbers, shellability, and relations to the Stanley-Reisner ring.

Full details for MATH 6410 - Enumerative Combinatorics

MATH 6510-MATH 6520 are the core topology courses in the mathematics graduate program.

Full details for MATH 6520 - Differentiable Manifolds

An introduction to the topology and geometry of hyperbolic manifolds. The class will begin with the geometry of hyperbolic n-space, including the upper half-space, Poincaré disc, Klein, and Lorentzian models. We will cover both synthetic and computational approaches. We will then discuss hyperbolic structures on surfaces and 3-manifolds, and the corresponding groups of isometries (i.e. Fuchsian and Kleinian groups). Additional topics may include: Geodesic and horocycle flows and their properties, counting closed geodesics and simple closed geodesics, Mostow rigidity, infinite area surfaces.

Full details for MATH 6640 - Hyperbolic Geometry

Measure theory, independence, distribution of sums of iid random variables, laws of large numbers, and central limit theorem. Other topics as time permits.

Full details for MATH 6710 - Probability Theory I

Focuses on the foundations of statistical inference, with an emphasis on asymptotic methods and the minimax optimality criterion. In the first part, the solution of the classical problem of justifying Fisher's information bound in regular statistical models will be presented. This solution will be obtained applying the concepts of contiguity, local asymptotic normality and asymptotic minimaxity. The second part will be devoted to nonparametric estimation, taking a Gaussian regression model as a paradigmatic example. Key topics are kernel estimation and local polynomial approximation, optimal rates of convergence at a point and in global norms, and adaptive estimation. Optional topics may include irregular statistical models, estimation of functionals and nonparametric hypothesis testing.

Full details for MATH 6740 - Mathematical Statistics II

Introduction to model theory at the level of David Marker's text.

Full details for MATH 6830 - Model Theory

Selection of advanced topics from analysis. Course content varies.

Full details for MATH 7110 - Topics in Analysis

Covers topological vector spaces, Banach and Hilbert spaces, and Banach algebras. Additional topics selected by instructor.

Full details for MATH 7130 - Functional Analysis

Selection of advanced topics from dynamical systems. Content varies.

Full details for MATH 7280 - Topics in Dynamical Systems

Talks on various methods in scientific computing, the analysis of their convergence properties and computational efficiency, and their adaptation to specific applications.

Full details for MATH 7290 - Seminar on Scientific Computing and Numerics

A seminar on an advanced topic in topology or a related subject. Content varies. The format is usually that the participants take turns to present.

Full details for MATH 7510 - Berstein Seminar in Topology

Selection of advanced topics from modern algebraic, differential, and geometric topology. Content varies.

Full details for MATH 7570 - Topics in Topology

Learning theory has become an important topic in modern statistics. This course gives an overview of various topics in classification, starting with Stone's (1977) stunning result that there are classifiers that are universally consistent. Other topics include plug-in methods (k-nearest neighbors), reject option, empirical risk minimization, Vapnik-Chervonenkis theory, fast rates via Mammen and Tsybakov's margin condition, convex majorizing loss functions, RKHS methods, support vector machines. Further, active high-dimensional statistical research topics such as lasso type estimators, low-rank multivariate response regression, topic models, latent factor models, and interpolation methods are presented.

Full details for MATH 7740 - Statistical Learning Theory

A twice weekly seminar in logic. Typically, a topic is selected for each semester, and at least half of the meetings of the course are devoted to this topic with presentations primarily by students. Opportunities are also provided for students and others to present their own work and other topics of interest.

Full details for MATH 7810 - Seminar in Logic

Supervised research for the doctoral dissertation.

Full details for MATH 7900 - Supervised Reading and Research