CMU 21-127: Concepts of Mathematics
21-127 is CMU's introduction to mathematical proof: logic, sets, functions, induction, number theory, and combinatorics. It's required early for CS and math majors as the gateway to everything proof-based, including 15-251, and for most students it's the first course where the answer is an argument.
Fennie is independent and not affiliated with Carnegie Mellon University. This is an unofficial study guide.
What makes it hard
Proof-writing is graded on precision of language, and answers with 'the right idea' but loose writing lose most of their points. That recalibration hits most students on the first homework. Induction is the classic wall, and the course's pace assumes you internalize each proof technique within a week of meeting it.
What you'll cover
- • Logic and quantifiers
- • Sets, relations, and functions
- • Proof techniques
- • Induction in all forms
- • Number theory basics
- • Combinatorics and counting
The 21-127 study guide
How to study for CMU 21-127, step by step.
- 1
Learn the proof templates as templates
Direct, contrapositive, contradiction, induction: each has a required shape with required sentences. Drill the scaffolding first. Mathematical creativity is what you do inside it, not instead of it.
- 2
Write complete proofs, never sketches
The gap between 'I see why' and a precise argument is where 127 points die. Write every practice proof in full and compare line by line against solutions to calibrate the rigor bar.
- 3
Give induction extra repetitions
It underwrites half the course and 15-251 after it, and most first attempts misuse the hypothesis. Practice until stating it precisely and invoking it honestly is reflexive.
- 4
Make quantifiers physical
For-all versus there-exists errors quietly invalidate proofs all semester. Practice negating quantified statements and translating between English and notation until it's mechanical.
- 5
Start homework early because proofs need incubation
The argument that won't come Tuesday surfaces Thursday, but only if you've read the problem by Tuesday. Deadline-night proof-writing submits your worst thinking on every problem.
Today's 21-127 plan
What a Fennie Daily Plan looks like for 21-127. Yours is built from your syllabus and adapts every day to your deadlines and progress.
- Review: Number theory basicsReview · 25 min
Work back through the 21-127 material on number theory basics. In the app, Fennie builds this from your own notes and syllabus.
- Practice: Combinatorics and countingPractice · 20 min
Targeted problems on combinatorics and counting, the kind 21-127 actually tests.
- Quick quiz: Logic and quantifiersQuiz · 10 min
Five generated questions to expose weak spots on logic and quantifiers before the exam does.
- Preview: Sets, relations, and functionsPreview · 10 min
A first pass over sets, relations, and functions so the next session starts from familiar ground.
First plan free, no card required. Fennie is independent and unaffiliated with your school.
FAQ
Is 21-127 hard?
It's a genuine gear-shift: the first course graded on argument precision, where right ideas in loose language lose points. The first homework recalibrates almost everyone. Students who practice writing complete proofs daily adapt within weeks; it's a learnable skill, not a talent filter.
Why do CS majors need 21-127?
It's the proof foundation that 15-251, 15-210's analysis, and all of theoretical CS assume. The induction fluency in particular gets used constantly: recursive correctness arguments are induction proofs wearing a different shirt.
How do I get better at proofs in 21-127?
Volume plus calibration: write full proofs for many problems, then diff your writing against solutions line by line to see exactly where rigor leaked. Office hours feedback early in the semester is the fastest calibration available. Use it before the first exam, not after.
More CMU courses
21-120: Differential and Integral Calculus
21-120 is CMU's first calculus course: limits, derivatives, applications of differentiation, and the integral through the fundamental theorem. It's the standard entry point for students not placing into 21-122 via AP credit, and it feeds every quantitative major on campus.
21-122: Integration and Approximation
21-122 is CMU's second calculus course: integration techniques, applications, improper integrals, then sequences, series, and Taylor approximation. It's where most AP-credit students enter the math sequence, and it's widely considered the harder half of first-year calculus.
21-241: Matrices and Linear Transformations
21-241 is CMU's first linear algebra course: systems and matrices, vector spaces, linear transformations, determinants, eigenvalues, and orthogonality. It serves CS, science, and engineering students and blends computation with proof more than most schools' equivalents.
21-259: Calculus in Three Dimensions
21-259 is CMU's multivariable calculus course: vectors and surfaces, partial derivatives, multiple integrals, and the vector calculus capstone of line integrals, Green's, Stokes', and the divergence theorem. It's required across engineering and the sciences.