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

credit

Marten van Dijk,Tom Leighton and MIT OpenCourseWare

license

OpenCourseWare