Prof. Charles Leiserson
Dr. Eric Lehman
Prof. Srinivas Devadas
Prof. Albert R. Meyer
6.042J / 18.062J
This course is offered to undergraduates and is an elementary discrete mathematics course oriented towards applications in computer science and engineering. Topics covered include: formal logic notation, induction, sets and relations, permutations and combinations, counting principles, and discrete probability.
OCW has published multiple versions of this subject.
Leiserson, Charles, Eric Lehman, Srinivas Devadas, and Albert Meyer. 6.042J Mathematics for Computer Science, Spring 2005. (MIT OpenCourseWare: Massachusetts Institute of Technology), http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2005 (Accessed). License: Creative Commons BY-NC-SA