Skip to content

Map Search My cards Pricing

Make it comfy

Lesson style

Quick mode shows the key picture, a summary and the practice. Good for a refresher.

Theme

Font

Both fonts are designed to be easy to read. Some readers with dyslexia prefer Lexend.

Text size

Spacing

Animations

Map Search My cards Pricing

Map › Level 1: Math Toolbox

F05

Logic & Proofs

“How to win every argument fairly”

Lessons

Being drawn right now ✏️

Lessons for this course are being written. Everything in Foundations will be free, forever.

Back to the map

What you’ll learn

propositional/predicate logic, proof techniques, induction

🔨 Boss level project

Proof-puzzle game

📚 Recommended books

Lehman, Leighton, Meyer, Mathematics for CS (free)
Velleman, How to Prove It
Hammack, Book of Proof (free)

Optional. Every lesson here stands on its own.

← F04 Tools of the Trade F06 Discrete Math →

Crayon CS

Everything a CS degree teaches, explained like you’re 5.

How we built the curriculum Terms Privacy Accessibility

Crayon CS is an independent learning site. It is not an accredited institution, does not award degrees, and is not affiliated with or endorsed by any university.