The discovery of physical systems that exhibit what we now call quantum mechanical behaviour was unquestionably one of the most astonishing events of modern physics. No less remarkable was the realisation that quantum mechanics presents a much more powerful paradigm for computation and information processing than its classical counterpart. But this power is somewhat subtle, and only by building up a rigorous model of quantum computation from the fundamental physics can it be fully understood and analysed. Developing and then using the quantum circuit model as a suitable representation of quantum mechanics, this textbook presents a canon of the most important quantum algorithms. Starting with historically important query algorithms, ‘classic’ results such as Grover’s and Shor’s algorithm are then covered, followed by more recent breakthroughs including the quantum algorithm for solving linear systems (HHL) and the quantum singular value transformation. The thread that runs through the book is the hunt for quantum advantage, in all of its manifestations, and to this end the final chapter moves from the idealised setting of closed quantum systems, to address real ‘noisy’ open quantum systems. Quantum error correction is introduced, culminating in the seminal result, the threshold theorem, which roughly says that the idealised performance predicted by the analysis of quantum mechanics as a model of computation can actually be realised on real-world quantum computers.