2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/99669This article defines and proves basic properties of the standard quantum circuit model of computation. The model is developed abstractly in close analogy with (classical) deterministic and probabilistic circuits, without recourse to any physical concepts or principles. It is intended as a primer for theoretical computer scientists who do not know--and perhaps do not care to know--any physics.18 pages, 18 figures. Expanded write-up for BEATCS of introductory talk given at Dagstuhl Seminar 02421, "Algebraic Methods in Quantum and Classical Models of Computation," October 2002Computational ComplexityQuantum PhysicsF.1.1; F.1.2; F.1.3text