Muutke küpsiste eelistusi

E-raamat: Foundations of Quantum Programming

4.50/5 (3 hinnangut Goodreads-ist)
(Deputy Director for Research, Institute of Software, Chinese Academy of Sciences; Director, Centre for Quantum Software, Tsinghua University; and Hui Yan Chair Professor of Computer Science, Tsinghua University, China)
  • Formaat: EPUB+DRM
  • Ilmumisaeg: 29-Apr-2024
  • Kirjastus: Morgan Kaufmann Publishers In
  • Keel: eng
  • ISBN-13: 9780443159435
Teised raamatud teemal:
  • Formaat - EPUB+DRM
  • Hind: 156,97 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Foundations of Quantum ProgrammingSuurem pilt
  • Formaat: EPUB+DRM
  • Ilmumisaeg: 29-Apr-2024
  • Kirjastus: Morgan Kaufmann Publishers In
  • Keel: eng
  • ISBN-13: 9780443159435
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.

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

Mingsheng Ying is currently Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; Director of the Centre for Quantum Software, Tsinghua University; and Hui Yan Chair Professor of Computer Science, Tsinghua University.

He has published three books and served on the editorial board of several publications, including Artificial Intelligence Journal (Elsevier). He is inaugural Editor-in-Chief of ACM Transactions on Quantum Computing.

He received an NSF China Distinguished Young Scholar Award (1997) and a China National Science Award in Natural Science (2008).
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97804431594356e.html