6.042: Lecture 1 — Introduction and Proofs
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
6.042 teaches Discrete Mathematics oriented toward Computer Science and Engineering
Marten van Dijk,Tom Leighton and MIT OpenCourseWare