Let's Prove
the math behind computer science
Careful, well-paced lessons in mathematics and logic, written as preparation for computer science. Definitions stated cleanly, theorems proved in full, exercises that test the reasoning rather than the arithmetic.
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 →More courses will follow. If you find an error or have a suggestion, please say so.