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 principes fondamentaux de l'informatique quantique, y compris la réalisation de qubits, les ordinateurs quantiques évolutifs, la communication quantique et les algorithmes quantiques.
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.
