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é.
Couvre les bases d'information quantique, les portes de Toffoli, le parallélisme quantique et l'algorithme de Grover pour la recherche de bases de données.
