Contents
Front matter
Part IStart here
How learning works, how to use AI without losing the skill, and how to plan a path that fits your week.
Part IIFoundations
Algebra, functions, and trigonometry, side by side with your first programs and proofs.
- Module 01Algebra is the language of calculus8 exercises
- Module 02Functions, inputs, domains, and graphs8 exercises
- Module 03Composition, inverses, exponentials, and logarithms8 exercises
- Module 04Radians, trigonometry, geometry, and units8 exercises
- C01Programs as precise state changes5 exercises
- C02Functions, recursion, search, and debugging5 exercises
- C03C++ values, references, ownership, and lifetimes5 exercises
- C04Logic, sets, relations, and constructing proofs5 exercises
- C05Induction, counting, recurrences, graphs, and modular arithmetic5 exercises
- Cumulative checkpoint: programming and discrete reasoning6 exercises
Part IIICalculus I
Rates, limits, derivatives, and integrals, each one computed, checked, and connected to code.
- Module 05From two values to an average rate8 exercises
- Module 06Limits: nearby behavior, not point substitution8 exercises
- Module 07Continuity, existence, and precise limit reasoning8 exercises
- Module 08The derivative and the tangent line8 exercises
- W01From function inputs to executable contracts5 exercises
- Mixed review R1: notation to tangent lines8 exercises
- Module 09Derivative rules without losing the structure8 exercises
- Module 10The chain rule and elementary derivatives8 exercises
- Module 11Implicit, inverse, and logarithmic differentiation8 exercises
- Module 12Motion, higher derivatives, and related rates21 exercises
- Module 13Linear approximation, extrema, and the Mean Value Theorem22 exercises
- Module 14Curve analysis and optimization21 exercises
- Module 15Newton’s method, indeterminate forms, and growth8 exercises
- Module 16Antiderivatives, Riemann sums, and definite integrals8 exercises
- Module 17The Fundamental Theorem, substitution, and area8 exercises
- Module 18Volumes from slices, washers, and shells8 exercises
- Module 19Length, surface area, work, fluid force, and mass8 exercises
- Cumulative assessment: Calculus I12 exercises
Part IVAlgorithms and systems
From data structures and proofs of correctness to machines, operating systems, databases, networks, and distributed systems.
- C06Data structures, representation, and amortized cost5 exercises
- C07Algorithm design, correctness, and complexity5 exercises
- C08Trees, heaps, graphs, and shortest-path reasoning5 exercises
- W02From invariants to algorithm design5 exercises
- Cumulative checkpoint: algorithms and data structures6 exercises
- C09Bits, instructions, caches, and virtual memory5 exercises
- C10Operating systems, concurrency, and safe coordination5 exercises
- W03From program objects to memory behavior5 exercises
- C11Relational databases, transactions, and recovery5 exercises
- C12Networks, byte streams, and protocol boundaries5 exercises
- C13Partial failures, retries, and distributed consistency5 exercises
- C14Software engineering, testing, debugging, and defensible measurement5 exercises
- C15Languages, parsing, interpreters, and compiler structure5 exercises
- C16Automata, decidability, reductions, and complexity classes5 exercises
- W07The reach and limits of computational proof5 exercises
- C17Security boundaries, usable interfaces, and professional responsibility5 exercises
- Cumulative checkpoint: systems and engineering evidence6 exercises
Part VCalculus II
Integration strategy, honest numerical error, differential equations, series, and curves in the plane.
- Module 20Integration by parts and structural choices8 exercises
- Module 21Trigonometric integrals and trigonometric substitution8 exercises
- Module 22Partial fractions and a mixed integration strategy8 exercises
- Module 23Numerical integration and honest error bounds8 exercises
- Module 24Improper integrals and probability density8 exercises
- Module 25Introductory differential equations and dynamical models8 exercises
- Mixed review R2: choosing a rate or accumulation method8 exercises
- Module 26Sequences, series, and the meaning of convergence8 exercises
- Module 27Positive series: comparison, integral, ratio, and root tests8 exercises
- Module 28Alternating series, absolute convergence, and controlled error8 exercises
- Module 29Power series and endpoint testing8 exercises
- Module 30Taylor approximation, series, and remainder control8 exercises
- Module 31Parametric curves and Cartesian conics8 exercises
- Module 32Polar coordinates, polar calculus, and conics8 exercises
- Cumulative assessment: Calculus II12 exercises
Part VICalculus III
Vectors, surfaces, gradients, multiple integrals, and the theorems of vector calculus.
- Module 33Vectors, lines, planes, and surfaces in space8 exercises
- Module 34Vector-valued motion, arc length, and curvature8 exercises
- Module 35Multivariable functions, level sets, and limits8 exercises
- Module 36Partial derivatives, differentiability, and the chain rule8 exercises
- Module 37Gradients, directional derivatives, and tangent planes8 exercises
- Module 38Multivariable extrema and constrained optimization8 exercises
- Mixed review R3: approximation, geometry, and local change8 exercises
- Module 39Double integrals, changing order, and polar area elements8 exercises
- Module 40Triple integrals and cylindrical and spherical coordinates8 exercises
- Module 41Jacobians and general changes of variables8 exercises
- Module 42Vector fields, scalar line integrals, work, and circulation8 exercises
- Module 43Conservative fields and Green’s theorem8 exercises
- Module 44Surface area, scalar surface integrals, and flux8 exercises
- Module 45Curl, divergence, and Stokes’ theorem8 exercises
- Module 46The Divergence theorem and a unified view of calculus8 exercises
- Cumulative assessment: Calculus III12 exercises
Part VIIApplied mathematics and computation
Linear algebra, probability, statistics, numerical methods, and differential equations, put to work in systems, GPUs, machine learning, robotics, and aerospace.
- A01Linear systems, vector spaces, and transformations5 exercises
- A02Orthogonality, least squares, eigenvectors, and SVD5 exercises
- W04Geometry, gradients, and automatic differentiation5 exercises
- A03Probability, random variables, and simulation5 exercises
- A04Statistics, experiments, and uncertainty in measurements5 exercises
- A05Numerical error, conditioning, roots, and approximation5 exercises
- A06Differential equations, stability, and optimization5 exercises
- W05From differential equations to trustworthy simulation5 exercises
- T01Systems and performance engineering5 exercises
- T02GPU, parallel, and graphics computing5 exercises
- W06Linear algebra becomes graphics and spatial computation5 exercises
- T03Machine learning, gradients, evaluation, and attention5 exercises
- T04Embedded software, robotics, feedback, and state estimation5 exercises
- T05Scientific and aerospace-related computing5 exercises
Part VIIIProjects
Five bounded engineering projects, each with a specification, independent tests, and stated limits.
- J01Project 1: a tested telemetry analysis command1 exercise
- J02Project 2: grid pathfinding with a correctness oracle1 exercise
- J03Project 3: a transactional local reservation service1 exercise
- J04Project 4: a numerical simulator with analytic validation1 exercise
- J05Systems capstone: immutable spatial queries with verified parallel reads1 exercise
Part IXThe graduate core
Specifications, semantics, algorithms with certificates, measurement, architecture, and machine learning you can derive and defend.
- GDGraduate-readiness diagnostic and repair map12 exercises
- G01Specifications, invariants, and finite-state checking6 exercises
- G02Language semantics, scope, and type safety6 exercises
- G03Algorithm design, certificates, and honest complexity6 exercises
- G04Probability, information, and credible measurement6 exercises
- G05Numerical linear algebra and optimization6 exercises
- G06Scalable architecture and measured performance6 exercises
- G07Network design, routing, and queueing6 exercises
- G08Cloud systems, partial failure, and consistency6 exercises
- G09Systems analysis, contracts, and architecture decisions6 exercises
- G10Project reasoning, dependency graphs, and risk6 exercises
- G11Ethics, security boundaries, and accountable decisions6 exercises
- G12Machine learning objectives, generalization, and decisions6 exercises
- G13Neural computation and backpropagation you can derive6 exercises
- G14Attention, embeddings, and transformer reasoning6 exercises
- G15Data engineering, clustering, and defensible inference6 exercises
- G16Research literacy, reproducibility, and independent engineering evidence6 exercises
- GP1A typed compiler with a bytecode verifier1 exercise
- GP2A reproducible model with retry-safe local delivery1 exercise
- GACumulative reasoning and systems assessment6 exercises
- GBCumulative learning, data, and research assessment6 exercises
- W08Defending an independent engineering result5 exercises
- From study outcomes to engineering evidence
Part XFrontier engineering
What engineers are building now, and the mathematics and code underneath it: drones that hold altitude, cars that follow a lane, and machines that run models fast.
Part XIThe AI Lab
From the chain rule to a small code model you train with reinforcement learning, reward with a grader you wrote, and then open up to see what it learned.
Part XIIThe Engineering Lab
From Newton’s second law to a drone you design, analyse, build, test, and fly with your own C++ attitude controller.
Part XIIIGeometry
From angle chasing to olympiad circles, with the two bridges an engineer needs: geometry as the constraint language of CAD, and geometry as code.
Part XIVThe Algorithms Lane
From your first loop to choosing, proving, and coding the right algorithm under a clock.
References and tools
- Reference sheets: formulas with conditions
- Companion workflow and compact engineering references
- Glossary: objects, guarantees, and common confusions
- Theory map: the object, the guarantee, and the boundary
- References: calculus
- References: computing, mathematics, and careers
- References: advanced and connecting work
- How this book was checked
- About the author