This text offers an overview of the state-of-the-art of noise reduction algorithms, focusing on the most useful techniques. In addition, it rigorously derives these techniques and proves many fundamental and intuitive results often taken for granted.