Computadores vêm sofrendo um processo de diminuição de hardware, o qual foi previsto por Gordon Moore nos anos de 1960. Ele concluiu que o número de transistores por chip, desde a invenção do transistor, praticamente dobrava a cada 18-24 meses.

Diante disso, a Ciência da Computação deve sofrer algumas reformulações que levam em conta as propriedades físicas dos componentes cada vez menores dos computadores. Dessa forma, é inevitável a incorporação da Física Quântica, que lida com escalas atômicas. Esta união pode ocasionar a resolução eficiente de problemas classicamente insolúveis, devido às propriedades quânticas, tais como superposição de estados e emaranhamento.

Entretanto, como sistemas quânticos são muitos sensíveis e difíceis de controlar, qualquer perturbação, por mínima que seja, pode alterar drasticamente o estado do sistema sendo considerado, fazendo com que ocorra uma fácil perda de informação. Para a resolução desse problema, é preciso o estudo de métodos de correção de erros, que são fundamentais para uma possível construção de computadores quânticos em larga escala no futuro.

Neste trabalho, visou-se o contato com Computação Quântica geral e, em particular, alguns códigos de correção de erros em 1 qubit foram estudados, tais como o código bit-flip e o código de Shor. Para este último foi utilizado o formalismo estabilizador, facilitando a descrição dos estados quânticos e sua evolução.