Lecture notes from an open course at MIT on "Mathematics for Computer Science"
These notes may be useful for reviewing basic logic and logical proofs, including statements involving quantifiers. (See lectures 1 and 2.) This link was included for the same reason as the link above. (This covers material pre-requisite to this course.)
Euler-Maclaurin Summation Formula:
This page proves the following Theorem. (See the very bottom of the page.) Theorem. Suppose f is continuous, positive, and decreasing on the interval [1,∞). Then, the series Σ_{n=1}^{∞} f(n) and the integral ∫_{1}^{∞} f(x) dx either both converge or both diverge.