E. Lehman, F. Leighton, A. Meyer, Mathematics for Computer Science,
ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/readings/MIT6_042JF10_notes.pdf