Home / Lectures / Mathematics for Computer Science
Mathematics
Lecture 1: Introduction and Proofs
- Course
- Mathematics for Computer Science
- Instructor
- Prof. Tom Leighton
- Department
- Electrical Engineering and Computer Science
- Recorded
- Fall 2010
- Level
- Undergraduate
Free account required. The lecture opens at MIT OpenCourseWare.
About this lecture
Introduction to mathematical proofs using axioms and propositions. Covers basics of truth tables and implications, as well as some famous hypotheses and conjectures.
