Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /

• Κύριοι συγγραφείς: Dalla Chiara, Maria Luisa (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Giuntini, Roberto (http://id.loc.gov/vocabulary/relators/aut), Leporini, Roberto (http://id.loc.gov/vocabulary/relators/aut), Sergioli, Giuseppe (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Trends in Logic, Studia Logica Library, 48
• Θέματα: Logic.; Mathematical logic.; Quantum computers.; Mathematical Logic and Foundations.; Quantum Computing.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoreti...

Πίνακας περιεχομένων:

• The mathematical environment of quantum information
• Pieces of quantum information and quantum logical gates
• Quantum entanglement: mystery and resource
• From quantum logical circuits to quantum computational logics
• Individuals, quantifiers and epistemic operators
• From qubits to qudits
• What exactly are quantum computations? Classical and quantum Turing machines
• Ambiguity in natural and artistic languages: a quantum semantic analysis
• Quantum information in the philosophical debates about quantum theory
• Mathematical Appendix.