Outline

• Postulates of quantum mechanics, \ac{CPT} maps
• Quantum gates, universality, Solovay-Kitaev theorem
• Clifford group and Gottesman-Knill theorem 
• Basic noise models
• Stabilizer quantum error correction codes and examples
• Transversal gate sets and the Eastin-Knill theorem
• The threshold theorem and basic ideas of fault-tolerant quantum computation
• Hamiltonian simulation (what quantum computers are really good at)
• Quantum signal processing