Hilbert spaces (that is, complete inner product spaces) are fundamental to the mathematical description of quantum mechanics, in particular providing a formalization of the notion of physical state in this context. We will cover their definition and basic examples. We will consider important related concepts such as classes of operators which formalize observables, the notion of measurement, and the spectral theorem and discuss how they are used in understanding the physics of quantum phenomena.