Samenvatting

Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages. The book describes how programming methodologies developed for current computers can be extended for quantum computers, along with new programming methodologies that can effectively exploit the unique power of quantum computing. In addition, this resource introduces a chain of quantum programming models from sequential to parallel and distributed programming in the paradigm of superposition-of-data to the paradigm of superposition-of-programs.

Final content presents a series of logical and mathematical tools for verification and analysis of quantum programs, including invariant generation, termination analysis, and abstract interpretation.

Specificaties

ISBN13:9780443159428
Taal:Engels
Bindwijze:Paperback

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

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

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Foundations of Quantum Programming