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