Study of the quantum circuit model and its universality, in-depth exploration of key quantum techniques for algorithm design and analysis, and the introduction to some quantum programming languages and software platforms for the specification of quantum computations.