With derivations, exercises, and solutions, this book examines the theoretical aspects of quantum computing and focuses on several candidates of a working quantum computer, evaluating them according to the DiVincenzo criteria. It covers theoretical tools, such as vectors, matrices, quantum gates, and integral and Fourier transforms.