Foundations of Quantum Programming

1. Introduction Part I Preliminaries 2. Quantum Mechanics 3. Models of Quantum Computation 4. Quantum Algorithms Part II Sequential Quantum Programs 5. Quantum While-Programs 6. Quantum Hoare Logic 7. Analysis of Quantum Programs Part III Parallel and Distributed Quantum Programs 8. Parallel Quantum Programs 9. Distributed Quantum Programs Part IV Quantum Control Flows 10. Quantum Case Statements 11. Quantum Recursion Part V Programming for Quantum Machine Learning 12. Quantum Machine Learning 13. Differential Quantum Programming Part VI Appendices Appendix I: Omitted Proofs in Chapter 5 II: Omitted Proofs in Chapter 7 III: Omitted Proofs in Chapter 10

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Ciência da Computação
• Programação de computadores / desenvolvimento de software

Quantum computing; quantum programming; programming languages; formal semantics; program verification; program logic; program analysis; parallel programming; distributed systems; quantum machine learning; differential programming