The mathematical-reasoning and proof toolkit that underpins all of computer science. Learn to read and write rigorous proofs (direct, contrapositive, contradiction, induction), model computing problems with logic, sets, relations, functions and graphs, count configurations with combinatorics and probability, and apply number theory to real algorithms and public-key cryptography (RSA).
Enrol to unlock the lessons, videos, and the AI tutor. College & STEM courses begin with a quick placement test, then your tutor confirms your spot.
Sign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up freeSign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up freeSign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up freeSign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up freeSign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up freeSign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up freeSign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up freeSign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up freeSign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up freeSign in to open this lesson — with videos, worked steps, and the Inzira AI tutor.
Log in Sign up free