A graduate-level, mathematically rigorous introduction to the tools, methods, and approaches used in contemporary quantitative finance