Mathematics for Computer Science | Electrical Engineering and Computer Science | MIT OpenCourseWare
This course covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets ....