Title: Mathematical Introduction to Dirac's Formalism