Video details loadedContinue
HomeMIT 6.042J Mathematics for Computer Science, Fall 2010Lecture 1: Introduction and Proofs
Lecture 1: Introduction and Proofs
44:09
Up Next
Lecture 2: Induction
Description: Introduction to mathematical proofs using axioms and propositions. Covers basics of truth tables and implications, as well as some famous hypotheses and conjectures.
Speaker: Tom Leighton