A collection of key definitions and formulas in theoretical computer science, including series summation, geometric series, and harmonic series. It also covers important concepts such as Big O notation, Omega notation, Theta notation, and limits.