Mathematical Foundations and Postulates of Quantum Computing