IIAS School in Computer Science: The Mathematics of Quantum Computation