Normal view MARC view ISBD view

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. - 1 online resource (vii, 346 pages). - Lecture notes in logic . - Lecture notes in logic. .

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.

ISBN: 9781316657560 1316657566 9781316656167 1316656160 9781316657218 (MyiLibrary) 1316657213 (MyiLibrary)

Subjects--Topical Terms:
Quantum computing--Mathematics.
Logic, Symbolic and mathematical.
Algebra, Abstract.
COMPUTERS / General

Index Terms--Genre/Form:
Electronic books.

LC Class. No.: QA76.889 / .L655 2016eb

Dewey Class. No.: 006.3/843