The Lumenary
Ramani kamili ya hisabati kuanzia chekechea hadi mwaka wa kwanza wa uzamili — pamoja na njia za hiari kuelekea utafiti. Masomo yanaandikwa hatua kwa hatua, kila hatua ikikaguliwa kwa makini.
Mada 169
Njia zinazopendekezwa kupitia grafu. Programu za uzamili hutofautiana, kwa hiyo hizi ni sehemu za kuanzia, si masharti.
School learners from kindergarten to the end of secondary school, and the teachers and families supporting them.
A steady route through school mathematics: counting and collections, arithmetic and fractions, sets and integers, functions and algebra, geometry and trigonometry, probability, and introductory calculus. Optional Wonder Trails branch off at every stage but are never required.
Secondary-school learners who are ready to move faster and further, including those preparing for olympiads or early university study.
Builds proof and structure early: logic and proof, countability and Cantor's diagonal argument, composition and structure-preserving maps, a first universal property, then calculus, linear algebra and algebraic structures. Acceleration should deepen understanding, not merely cover topics sooner.
Adults returning to mathematics, or meeting it properly for the first time, at any age and with any prior experience.
Starts from whole-number arithmetic without assuming school knowledge is fresh, and moves at an adult pace through fractions, integers, sets and logic, functions and equations, everyday statistics and probability, and a first experience of proof and composition. No timed work and no prerequisite shame: revisit any topic as often as needed.
Undergraduates studying mathematics as a main subject, and independent learners following an equivalent programme.
A typical core for a mathematics degree: proof, calculus, linear algebra, real and complex analysis, abstract algebra with quotients and Galois theory, topology, number theory, graph theory, a first course in categories and functors, and mathematical writing. Degree programmes differ in order and emphasis; this is one coherent ordering, not the only one.
Learners heading towards theoretical computer science, programming-language theory, verification or proof engineering.
Logic and proof alongside programming, then algorithms, discrete mathematics, Lean, computability and complexity, the λ-calculus and type theory, a categorical view of structure, and formal methods. Formal proofs are introduced gradually, and a machine-checked proof is only claimed when it has actually been checked.
Learners aiming at science, engineering, data, economics, biology or computation, who want mathematics they can use and trust.
Functions and calculus, linear algebra and differential equations, probability and statistics, numerical methods and analysis, partial differential equations, optimisation, mechanics, information theory and mathematical biology. Emphasises modelling assumptions and the difference between exact results, numerical approximations and statistical evidence.
Advanced undergraduates and others preparing for a first year of graduate study in mathematics.
Consolidates the foundations most first-year graduate programmes assume (analysis, algebra, topology and category theory) and then samples the standard first-year courses: measure theory, functional analysis, modules and commutative algebra, representation theory, algebraic topology and smooth manifolds. Graduate programmes differ considerably, so learners should adapt the selection to the programmes and specialisations they are considering.
Graduate students and advanced independent learners preparing to read, write, check and contribute to research mathematics.
Research skills (writing, reading the literature, reproducible computation, experimental mathematics, formalisation and research ethics) together with one illustrative specialisation: from the Yoneda lemma and homological algebra through quivers and path algebras to derived categories and quiver representations. Research directions vary widely, so the specialisation is an example to adapt, and established results are always distinguished from open questions.