Written at a level suitable for graduate students in mathematics, this text develops the body of mathematical theory arising from discrete quantum walks, an important tool in quantum computing. The prerequisites are minimal; no physics background is required. It will interest all researchers working on quantum information theory.