The first-year seminar in mathematics provides an introduction to the rich and diverse nature of mathematics. Topics covered will vary from one semester to the next (depending on faculty expertise) but will typically span algebra and number theory, dynamical systems, probability and statistics, discrete mathematics, topology, geometry, logic, analysis and applied math. The course includes guest lectures from professors at Kenyon, a panel discussion with upper-class math majors and opportunities to learn about summer experiences and careers in mathematics. The course goals are threefold: 1) to provide an overview of modern mathematics, which, while not exhaustive, will expose students to some exciting open questions and research problems in mathematics; 2) to introduce students to some of the mathematical research being done at Kenyon and; 3) to answer whatever questions students might have during their first semester here, while exposing them to useful resources and opportunities that are helpful in launching a meaningful college experience. Open only to first-year students. This course does not count towards any requirement for the major. Prerequisite or corequisite: MATH 112 (or equivalent) and concurrently enrolled in another MATH, STAT or SCMP course or permission of instructor. Offered every fall semester.
Our intuitions about sets, numbers, shapes and logic all break down in the realm of the infinite. Seemingly paradoxical facts about infinity are the subject of this course. We will discuss what infinity is, how it has been viewed through history, why some infinities are bigger than others and how a finite shape can have an infinite perimeter. This very likely will be quite different from any mathematics course you have ever taken. This course focuses on ideas and reasoning rather than algebraic manipulation, though some algebraic work will be required to clarify big ideas. The class will be a mixture of lecture and discussion, based on selected readings. Students can expect essay tests, frequent homework and writing assignments. This course does not count toward any major requirement. No prerequisite. Offered occasionally.
The first in a three-semester calculus sequence, this course covers the basic ideas of differential calculus. Differential calculus is concerned primarily with the fundamental problem of determining instantaneous rates of change. In this course we will study instantaneous rates of change from both a qualitative geometric and a quantitative analytic perspective. We will cover in detail the underlying theory, techniques and applications of the derivative. The problem of anti-differentiation, identifying quantities given their rates of change, also will be introduced. The course will conclude by relating the process of anti-differentiation to the problem of finding the area beneath curves, thus providing an intuitive link between differential calculus and integral calculus. Those who have had a year of high school calculus but do not have advanced placement credit for MATH 111 should take the calculus placement exam to determine whether they are ready for MATH 112. Students who have 0.5 units of credit for calculus may not receive credit for MATH 111. This counts toward the core course requirement for the major. Prerequisite: solid grounding in algebra, trigonometry and elementary functions. Offered every semester.
The second in a three-semester calculus sequence, this course has two primary foci. The first is integration, including techniques of integration, numerical methods and applications of integration. This study leads into the analysis of differential equations by separation of variables, Euler's method and slope fields. The second focus is the notion of convergence, as manifested in improper integrals, sequences and series, particularly Taylor series. This counts toward the core course requirement for the major. Prerequisite: MATH 111 or AP score of 4 or 5 on Calculus AB exam or an AB sub score of 4 or 5 on the Calculus BC exam or permission of instructor. Offered every semester.
This course examines an important and interesting part of the history of mathematics and, more generally, the intellectual history of humankind: the history of mathematics in the Islamic world. Some of the most fundamental notions in modern mathematics have their roots here, such as the modern number system, the fields of algebra and trigonometry, and the concept of algorithm, among others. In addition to studying specific contributions of medieval Muslim mathematicians in the areas of arithmetic, algebra, geometry and trigonometry in some detail, we will examine the context in which Islamic science and mathematics arose, and the role of religion in this development. The rise of Islamic science and its interactions with other cultures (e.g., Greek, Indian and Renaissance Europe) tell us much about larger issues in the humanities. Thus, this course has both a substantial mathematical component (60-65 percent) and a significant history and social science component (35-40 percent), bringing together three disciplines: mathematics, history and religion. The course counts toward the Islamic Civilization and Cultures concentration but does not count toward any math major requirement. Prerequisite: solid knowledge of algebra and geometry.
The third in a three-semester calculus sequence, this course examines differentiation and integration in three dimensions. Topics of study include functions of more than one variable, vectors and vector algebra, partial derivatives, optimization and multiple integrals. Some of the following topics from vector calculus also will be covered as time permits: vector fields, line integrals, flux integrals, curl and divergence. This counts toward the core course requirement for the major. Prerequisite: MATH 112 or a score of 4 or 5 on the BC Calculus AP exam or permission of instructor. Offered every semester.
This course introduces students to mathematical reasoning and rigor in the context of set-theoretic questions. The course will cover basic logic and set theory, relations — including orderings, functions and equivalence relations — and the fundamental aspects of cardinality. The course will emphasize helping students read, write and understand mathematical reasoning. Students will be actively engaged in creative work in mathematics. Students interested in majoring in mathematics should take this course no later than the spring semester of their sophomore year. Advanced first-year students interested in mathematics are encouraged to consider taking this course in their first year. This counts toward the core course requirement for the major. This course cannot be taken pass/D/fail. Prerequisite: MATH 213 or permission of instructor. Offered every semester.
This course will focus on the study of vector spaces and linear functions between vector spaces. Ideas from linear algebra are useful in many areas of higher-level mathematics. Moreover, linear algebra has many applications to both the natural and social sciences, with examples arising in fields such as computer science, physics, chemistry, biology and economics. In this course, we will use a computer software system, such as Maple or Matlab, to investigate important concepts and applications. Topics to be covered include methods for solving linear systems of equations, subspaces, matrices, eigenvalues and eigenvectors, linear transformations, orthogonality and diagonalization. Applications will be included throughout the course. This counts toward the core course requirement for the major. Prerequisite: MATH 213. Generally offered three out of four semesters.
Combinatorics is, broadly speaking, the study of finite sets and finite mathematical structures. A great many mathematical topics are included in this description, including graph theory, combinatorial designs, partially ordered sets, networks, lattices and Boolean algebras and combinatorial methods of counting, including combinations and permutations, partitions, generating functions, recurring relations, the principle of inclusion and exclusion, and the Stirling and Catalan numbers. This course will cover a selection of these topics. Combinatorial mathematics has applications in a wide variety of nonmathematical areas, including computer science (both in algorithms and in hardware design), chemistry, sociology, government and urban planning; this course may be especially appropriate for students interested in the mathematics related to one of these fields. This counts toward the discrete/combinatorial (column C) elective requirement for the major. Prerequisite: MATH 112 or a score or 4 or 5 on the BC Calculus AP exam or permission of instructor. Offered every other year.
The "Elements" of Euclid, written over 2,000 ago, is a stunning achievement. The "Elements" and the non-Euclidean geometries discovered by Bolyai and Lobachevsky in the 19th century form the basis of modern geometry. From this start, our view of what constitutes geometry has grown considerably. This is due in part to many new theorems that have been proved in Euclidean and non-Euclidean geometry but also to the many ways in which geometry and other branches of mathematics have come to influence one another over time. Geometric ideas have widespread use in analysis, linear algebra, differential equations, topology, graph theory and computer science, to name just a few areas. These fields, in turn, affect the way that geometers think about their subject. Students in MATH 230 will consider Euclidean geometry from an advanced standpoint, but also will have the opportunity to learn about non-Euclidean geometries. This counts toward the continuous/analytic (column B) elective requirement for the major. Prerequisite: MATH 222 or permission of instructor. Offered every other year.
Looking at a problem in a creative way and seeking out different methods toward solving it are essential skills in mathematics and elsewhere. In this course, students will build their problem-solving intuition and skills by working on challenging and fun mathematical problems. Common problem-solving techniques in mathematics will be covered in each class meeting, followed by collaboration and group discussions, which will be the central part of the course. The course will culminate with the Putnam exam on the first Saturday in December. Interested students who have a conflict with that date should contact the instructor. This does not count toward any requirement for the major. Prerequisite: MATH 112 or a score of 4 or 5 on the BC Calculus exam or permission of instructor.
In biological sciences, mathematical models are becoming increasingly important as tools for turning biological assumptions into quantitative predictions. In this course, students will learn how to fashion and use these tools to explore questions ranging across the biological sciences. We will survey a variety of dynamic modeling techniques, including both discrete and continuous approaches. Biological applications may include population dynamics, molecular evolution, ecosystem stability, epidemic spread, nerve impulses, sex allocation and cellular transport processes. The course is appropriate both for math majors interested in biological applications and for biology majors who want the mathematical tools necessary to address complex, contemporary questions. As science is becoming an increasingly collaborative effort, biology and math majors will be encouraged to work together on many aspects of the course. Coursework will include homework, problem-solving exercises and short computational projects. Final independent projects will require the development and extension of an existing biological model selected from the primary literature. This course will build on (but not be limited by) an introductory-level knowledge base in both math and biology. Interested biology and math majors lacking a prerequisite are encouraged to consult with the instructor. This counts toward the computational/modeling/applied elective requirement for the major. Prerequisite: STAT 106 or MATH 111 or 112 (or any math or statistics AP credit of 4 or 5) and either BIOL 115 or 116. Offered every other year.
This course is a mathematical examination of the formal language most common in mathematics: predicate calculus. We will examine various definitions of meaning and proof for this language and will consider its strengths and inadequacies. We will develop some elementary computability theory en route to rigorous proofs of Godel's Incompleteness Theorems. Concepts from model logic, model theory and other advanced topics will be discussed as time permits. This counts toward the algebraic (column A) elective for the major. Prerequisite: MATH 222 or PHIL 201 or permission of instructor. Offered occasionally.
Patterns within the set of natural numbers have enticed mathematicians for well over two millennia, making number theory one of the oldest branches of mathematics. Rich with problems that are easy to state but fiendishly difficult to solve, the subject continues to fascinate professionals and amateurs alike. In this course, we will get a glimpse at both the old and the new. In the first two-thirds of the semester, we will study topics from classical number theory, focusing primarily on divisibility, congruences, arithmetic functions, sums of squares and the distribution of primes. In the final weeks we will explore some of the current questions and applications of number theory. We will study the famous RSA cryptosystem, and students will read and present some current (carefully chosen) research papers. This counts toward either a discrete/combinatorial (column C) or an algebraic (column A) elective requirement for the major. Prerequisite: MATH 222. Offered every other year.
Coding theory, or the theory of error-correcting codes, and cryptography are two recent applications of algebra and discrete mathematics to information and communications systems. The goals of this course are to introduce students to these subjects and to understand some of the basic mathematical tools used. While coding theory is concerned with the reliability of communication, the main problem of cryptography is the security and privacy of communication. Applications of coding theory range from enabling the clear transmission of pictures from distant planets to quality of sound in compact discs. Cryptography is a key technology in electronic security systems. Topics likely to be covered include basics of block coding, encoding and decoding, linear codes, perfect codes, cyclic codes, BCH and Reed-Solomon codes, and classical and public-key cryptography. Other topics may be included depending on the availability of time and the background and interests of the students. Other than some basic linear algebra, the necessary mathematical background (mostly abstract algebra) will be covered within the course. This counts toward either a discrete/combinatorial (column C) or an algebraic (column A) elective requirement for the major. Prerequisite: MATH 224 or permission of instructor. Offered every other year.
This course provides a survey of several techniques used in applied mathematics. We will discuss the mathematical formulation of models for a variety of processes that arise in the natural and social sciences. We will derive the appropriate equations to describe these processes and use techniques from calculus, differential equations, linear algebra and numerical methods when needed. This course may touch on topics like dimensional analysis, scaling, kinetic equations and perturbation methods. Students will have the opportunity to investigate applications within their fields of interest such as biology, medicine, physics, chemistry and finance. A strong background in calculus is essential; a familiarity with differential equations is recommended, but not required. This counts toward the computation/modeling/applied (column D) elective requirement for the major. Prerequisite: MATH 213 and sophomore standing or permission of instructor. Offered every other year.
Differential equations arise naturally to model dynamical systems such as often occur in physics, biology, chemistry and economics, and have given major impetus to other fields in mathematics, such as topology and the theory of chaos. This course covers basic analytic, numerical and qualitative methods for the solution and understanding of ordinary differential equations. Computer-based technology will be used. This counts toward the computation/modeling/applied (column D) elective requirement for the major. Prerequisite: MATH 224 or PHYS 245 or permission of instructor. Offered every other year.
Abstract algebra is the study of algebraic structures that describe common properties and patterns exhibited by seemingly disparate mathematical objects. The phrase "abstract algebra" refers to the fact that some of these structures are generalizations of the material from high school algebra relating to algebraic equations and their methods of solution. In Abstract Algebra I, we focus entirely on group theory. A group is an algebraic structure that allows one to describe symmetry in a rigorous way. The theory has many applications in physics and chemistry. Since mathematical objects exhibit pattern and symmetry as well, group theory is an essential tool for the mathematician. Furthermore, group theory is the starting point in defining many other more elaborate algebraic structures including rings, fields and vector spaces. In this course, we will cover the basics of groups, including the classification of finitely generated abelian groups, factor groups, the three isomorphism theorems and group actions. The course culminates in a study of Sylow theory. Throughout the semester there will be an emphasis on examples, many of them coming from calculus, linear algebra, discrete math and elementary number theory. There also will be a couple of projects illustrating how a formal algebraic structure can empower one to tackle seemingly difficult questions about concrete objects (e.g., the Rubik's cube or the card game SET). Finally, there will be a heavy emphasis on the reading and writing of mathematical proofs. Junior standing is recommended. This counts toward the algebraic (column A) elective requirement for the major. Prerequisite: MATH 222 or permission of instructor. Offered every other fall.
This course provides a calculus-based introduction to probability. Topics include basic probability theory, random variables, discrete and continuous distributions, mathematical expectation, functions of random variables and asymptotic theory. This counts toward either a discrete/combinatorial (column C) or continuous/analytic (column B) elective requirement for the major. Prerequisite: MATH 213. Offered every fall.
This course is a first introduction to real analysis. "Real" refers to the real numbers. Much of our work will revolve around the real number system. We will start by carefully considering the axioms that describe it. "Analysis" is the branch of mathematics that deals with limiting processes. Thus the concept of distance also will be a major theme of the course. In the context of a general metric space (a space in which we can measure distances), we will consider open and closed sets, limits of sequences, limits of functions, continuity, completeness compactness and connectedness. Other topics may be included if time permits. Junior standing is recommended. This counts toward the continuous/analytic (column B) elective requirement for the major. Prerequisite: MATH 213 and 222. Offered every other fall.
This course introduces students to the concepts, techniques and power of mathematical modeling. Both deterministic and probabilistic models will be explored, with examples taken from the social, physical and life sciences. Students engage cooperatively and individually in the formulation of mathematical models and in learning mathematical techniques used to investigate those models. This counts toward the computational/modeling/applied (column D) elective requirement for the major. Prerequisite: STAT 106 and MATH 224 or 258 or permission of instructor. Offered every other year.
A study of software design project that requires planning, analysis, design, implementation, testing and maintenance. Different methods of planning, definition, requirements analysis and cost estimation are considered. A central component of the course is a semester long team project which engages a team of three to five students in the analysis, design, implementation and documentation of a significant applied project. The goal of this team project is for the students to engage with the material as they work to solve a real-world problem. These projects are real needs of organizations in the surrounding community (including Gambier, Knox county and, at times, beyond). Prerequisite: MATH 138, SCMP 118, 218 or 318.
The course starts with an introduction to the complex numbers and the complex plane. Next students are asked to consider what it might mean to say that a complex function is differentiable (or analytic, as it is called in this context). For a complex function that takes a complex number z to f(z), it is easy to write down (and make sense of) the statement that f is analytic at z if
exists. Subsequently, we will study the amazing results that come from making such a seemingly innocent assumption. Differentiability for functions of one complex variable turns out to be a very different thing from differentiability in functions of one real variable. Topics covered will include analyticity and the Cauchy-Riemann equations, complex integration, Cauchy's Theorem and its consequences, connections to power series, and the Residue Theorem and its applications. This counts toward the continuous/analytic (column B) elective requirement for the major. Prerequisite: MATH 224. Offered every other year.
Topology is an area of mathematics concerned with properties of geometric objects that remain the same when the objects are "continuously deformed." Three of these key properties in topology are compactness, connectedness, continuity and the mathematics associated with these concepts is the focus of the course. Compactness is a general idea helping us to more fully understand the concept of limit, whether of numbers, functions or even geometric objects. For example, the fact that a closed interval (or square, or cube, or n-dimensional ball) is compact is required for basic theorems of calculus. Connectedness is a concept generalizing the intuitive idea that an object is in one piece: the most famous of all the fractals, the Mandelbrot Set, is connected, even though its best computer-graphics representation might make this seem doubtful. Continuous functions are studied in calculus, and the general concept can be thought of as a way by which functions permit us to compare properties of different spaces or as a way of modifying one space so that it has the shape or properties of another. Engineering, chemistry and physics are among the subjects that find topology useful. The course will touch on selected topics that are used in applications. This counts toward the continuous/analytic (column B) elective requirement for the major. Prerequisite: MATH 222 or permission of instructor. Generally offered every two to three years.
This course picks up where MATH 335 ends, focusing primarily on rings and fields. Serving as a good generalization of the structure and properties exhibited by the integers, a ring is an algebraic structure consisting of a set together with two operations — addition and multiplication. If a ring has the additional property that division is well-defined, one gets a field. Fields provide a useful generalization of many familiar number systems: the rational numbers, the real numbers and the complex numbers. Topics to be covered include polynomial rings; ideals; homomorphisms and ring quotients; Euclidean domains, principal ideal domains, unique factorization domains; the Gaussian integers; factorization techniques and irreducibility criteria. The final block of the semester will serve as an introduction to field theory, covering algebraic field extensions, symbolic adjunction of roots; construction with ruler and compass; and finite fields. Throughout the semester there will be an emphasis on examples, many of them coming from calculus, linear algebra, discrete math and elementary number theory. There also will be a heavy emphasis on the reading and writing of mathematical proofs. This counts toward the algebraic (column A) elective requirement for the major. Prerequisite: MATH 335. Offered every other spring.
This course follows MATH 341. Topics will include a study differentiation and (Riemann) integration of functions of one variable, sequences and series of functions, power series and their properties, iteration and fixed points. Other topics may be included as time permits. For example: a discussion of Newton's method or other numerical techniques; differentiation and integration of functions of several variables; spaces of continuous functions; the implicit function theorem; and everywhere continuous, nowhere differentiable functions. This counts toward the continuous/analytic (column B) elective requirement for the major. Prerequisite: MATH 341. Offered every other spring.
The senior seminar in mathematics will guide students through the process of writing their senior capstone paper — a comprehensive, expository manuscript about mathematical/statistical content that delves deeper into one of these fields than the level of content presented in their coursework. Some sessions will introduce students to tools for success such as literature searches, good note-taking strategies, proper use of citations and mathematical typesetting for large documents. This counts toward the core course requirement for the major and is only open to senior mathematics majors. This course is credit/no credit. Offered every fall.
Individual study is a privilege reserved for students who want to pursue a course of reading or complete a research project on a topic not regularly offered in the curriculum. It is intended to supplement, not take the place of, coursework. Individual study cannot be used to fulfill requirements for the major. Individual studies will earn 0.25–0.50 units of credit. To qualify, a student must identify a member of the mathematics department willing to direct the project. The professor, in consultation with the student, will create a tentative syllabus (including a list of readings and/or problems, goals and tasks) and describe in some detail the methods of assessment (e.g., problem sets to be submitted for evaluation biweekly; a 20-page research paper submitted at the course's end, with rough drafts due at given intervals, and so on). The department expects the student to meet regularly with his or her instructor for at least one hour per week. All standard enrollment/registration deadlines for regular college courses apply. Because students must enroll for individual studies by the end of the seventh class day of each semester, they should begin discussion of the proposed individual study preferably the semester before, so that there is time to devise the proposal and seek departmental approval before the registrar's deadline. Individual study course may be counted as electives in the mathematics major, subject to consultation with and approval by the department of mathematics and statistics. Permission of instructor and department chair required. No prerequisite.
This course will consist largely of an independent project in which students read several sources to learn about a mathematical topic that complements material studied in other courses, usually an already completed depth sequence. This study will culminate in an expository paper and a public or semi-public presentation before an audience consisting of at least several members of the mathematics faculty as well as an outside examiner. Permission of department chair required. Prerequisite: Senior standing and the completion of at least one two-semester sequence at the junior-senor level.