Amazon cover image
Image from Amazon.com

Logic and algebraic structures in quantum computing / edited by Jennifer Chubb, University of San Francisco, Ali Eskandarian George Washington University, Washington DC, Valentina Harizanov, George Washington University, Washington DC.

Contributor(s): Material type: TextTextSeries: Lecture notes in logicPublisher: Cambridge : Cambridge University Press, 2016Copyright date: ©2016Description: 1 online resource (vii, 346 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781316657560
  • 1316657566
  • 9781316656167
  • 1316656160
  • 9781316657218 (MyiLibrary)
  • 1316657213 (MyiLibrary)
Subject(s): Genre/Form: Additional physical formats: Print version:: Logic and algebraic structures in quantum computing.DDC classification:
  • 006.3/843 23
LOC classification:
  • QA76.889 .L655 2016eb
Online resources:
Contents:
A (very) brief tour of quantum mechanics, computation, and category theory -- Could logic be empirical? The Putnam-Kripke depate -- The essence of quantum theory for computers -- Fiber products of measures and quantum foundations -- Operational theories and categorical quantum mechanics -- Relating operator spaces via adjunctions -- Topos-based logic for quantum systems and bi-Heyting algebras -- The logic of quantum mechanics - Take II -- Reasoning abou meaning in natural language wiwth compact closed categories and Frobenius algebras -- Knot logic and topological quantum computing with Majorana fermions.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library EBSCO Mathematics Available
Total holds: 0

Includes bibliographical references and index.

A (very) brief tour of quantum mechanics, computation, and category theory -- Could logic be empirical? The Putnam-Kripke depate -- The essence of quantum theory for computers -- Fiber products of measures and quantum foundations -- Operational theories and categorical quantum mechanics -- Relating operator spaces via adjunctions -- Topos-based logic for quantum systems and bi-Heyting algebras -- The logic of quantum mechanics - Take II -- Reasoning abou meaning in natural language wiwth compact closed categories and Frobenius algebras -- Knot logic and topological quantum computing with Majorana fermions.

Description based on print version record.

Powered by Koha