Logic and Algebraic Structures in Quantum Computing
Logic and Algebraic Structures in Quantum Computing
; ;
Cambridge University Press
02/2016
356
Dura
Inglês
9781107033399
710
Descrição não disponível.
Preface Jennifer Chubb, Ali Eskandarian and Valentina Harizanov; Introduction Jennifer Chubb, Ali Eskandarian and Valentina Harizanov; 1. A (very) brief tour of quantum mechanics, computation, and category theory Jennifer Chubb and Valentina Harizanov; 2. Could logic be empirical? The Putnam-Kripke debate Allen Stairs; 3. The essence of quantum theory for computers William C. Parke; 4. Fiber products of measures and quantum foundations Adam Brandenburger and H. Jerome Keisler; 5. Operational theories and categorical quantum mechanics Samson Abramsky and Chris Heunen; 6. Relating operator spaces via adjunctions Bart Jacobs and Jorik Mandemaker; 7. Topos-based logic for quantum systems and bi-Heyting algebras Andreas Doering; 8. The logic of quantum mechanics - take II Bob Coecke; 9. Reasoning about meaning in natural language with compact closed categories and Frobenius algebras Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman and Bob Coecke; 10. Knot logic and topological quantum computing with Majorana fermions Louis H. Kauffman; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Preface Jennifer Chubb, Ali Eskandarian and Valentina Harizanov; Introduction Jennifer Chubb, Ali Eskandarian and Valentina Harizanov; 1. A (very) brief tour of quantum mechanics, computation, and category theory Jennifer Chubb and Valentina Harizanov; 2. Could logic be empirical? The Putnam-Kripke debate Allen Stairs; 3. The essence of quantum theory for computers William C. Parke; 4. Fiber products of measures and quantum foundations Adam Brandenburger and H. Jerome Keisler; 5. Operational theories and categorical quantum mechanics Samson Abramsky and Chris Heunen; 6. Relating operator spaces via adjunctions Bart Jacobs and Jorik Mandemaker; 7. Topos-based logic for quantum systems and bi-Heyting algebras Andreas Doering; 8. The logic of quantum mechanics - take II Bob Coecke; 9. Reasoning about meaning in natural language with compact closed categories and Frobenius algebras Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman and Bob Coecke; 10. Knot logic and topological quantum computing with Majorana fermions Louis H. Kauffman; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
