Mathematics of Quantum Computation