Quantum computing introduces several radical new concepts that contradict classical intuition yet are formally described by the mathematics of quantum theory. This chapter provides an in-depth explanation of the key theoretical ideas that enable the power of quantum computation, including the qubit, superposition, interference, entanglement, measurement, and quantum parallelism.