An introductory course designed to teach the fundamental concepts and techniques of mathematical proofs.
Computer science relies on proofs to ensure that algorithms work correctly and efficiently.
Proving that a sorting algorithm always sorts correctly, no matter the input.
Using logic to prove that programs do exactly what they're supposed to, which is crucial in safety-critical systems like airplanes or medical devices.
Proofs help keep your data safe, your searches fast, and your devices reliable.
Verifying that a password-checking program only accepts valid passwords.
Proving that an encryption algorithm cannot be broken with current technology.