Let's Prove
the math behind computer science
Careful, well-paced courses that build the mathematics and logic behind computer science from the basics. Definitions stated cleanly, theorems proved in full, exercises that test the reasoning rather than the arithmetic — written for self-study.
Start learning
Courses
Foundations of Mathematical Logic
A rigorous introduction to propositional and predicate logic, the methods of mathematical proof, and the foundations on which all later mathematics rests.
Start the course →
Sequences and Progressions
Sequences, arithmetic and geometric progressions, and their use in modelling change.
Start the course →
General Theory of Functions
What a function is, how functions compose, and the properties that govern real-valued functions — the language every later course speaks.
Start the course →
The Linear Function
The first concrete family of functions: \(f(x) = ax + b\). Its graph, sign, and the first-degree equations, inequalities, and systems it gives rise to.
Start the course →
The Quadratic Function
The quadratic equation \(ax^2 + bx + c = 0\) and the quadratic function \(f(x) = ax^2 + bx + c\): roots, Vieta's relations, the parabola, its sign, and quadratic inequalities.
Start the course →More courses will follow. If you find an error or have a suggestion, please say so.