Couvre les preuves des théorèmes de circuits irréversibles et réversibles, en mettant l'accent sur les portes et la question de l'irréversibilité et de la réversibilité.
Introduit le paradigme du calcul quantique numérique, couvrant les qubits, les portes logiques quantiques, la préparation de l'état et la correction des erreurs.
