Lesson 1 of 4Module 1 · 0% of course
‹ PrevNext ›
Explore › Math › Adjacent: Math for Thinking › Adjacent
Adjacent: Math for Thinking · Adjacent

Logic & Proofs

How mathematicians know: propositions and connectives, implication and contrapositive, quantifiers, and the main proof techniques (direct, contradiction, contrapositive, induction, counterexample), with classic examples.

30 min · 5 steps · videoJump to quiz ↓
1.1.2 Intro to Proofs: Part 1 MIT OpenCourseWare · 10 min
Open in YouTube
Step 1 of 5 · Overview30 min read ·
Key idea
Prereqs: none. Next: Discrete math & graphs; Gödel. Sources: Lehman, Leighton & Meyer, *Mathematics for Computer Science* (MIT); Daniel Velleman, *How to Prove It* (3rd ed.).
Next: 1. Logic

Watch next

The Great Courses · 31 min · works as audio
Ben Syversen · 29 min · works as audio
Oxford Mathematics · 52 min · works as audio
Ben Syversen · 41 min · works as audio
Harvard University · 50 min · works as audio
Harvard University · 46 min · works as audio
Harvard University · 46 min · works as audio
MIT OpenCourseWare · 30 min · works as audio
MIT OpenCourseWare · 37 min · works as audio
Harvard University · 50 min · works as audio
Adams State University · 43 min · works as audio
‹ PrevNext ›