Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Logic and algebraic structures in quantum computing / [edited by] Jennifer Chubb, Ali Eskandarian and Valentina Harizanov.

Contributor(s): Material type: TextTextSeries: Lecture notes in logic ; 45.Publication details: Cambridge : Cambridge University Press, 2016.Description: vii, 346 pages : illustrations ; 24 cmISBN:
  • 9781107033399 (hardback : alk. paper)
Subject(s): DDC classification:
  • 004.1 23 C559
Contents:
Introduction 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.
Summary: The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books ISI Library, Kolkata 004.1 C559 (Browse shelf(Opens below)) Available 137891
Total holds: 0

Includes bibliographical references and index.

Introduction
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.

The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.

There are no comments on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in