000857453 000__ 03558cam\a2200481Ii\4500
000857453 001__ 857453
000857453 005__ 20230306145202.0
000857453 006__ m\\\\\o\\d\\\\\\\\
000857453 007__ cr\cn\nnnunnun
000857453 008__ 181211s2018\\\\sz\\\\\\ob\\\\001\0\eng\d
000857453 020__ $$a9783030044718$$q(electronic book)
000857453 020__ $$a3030044718$$q(electronic book)
000857453 020__ $$z9783030044701
000857453 035__ $$aSP(OCoLC)on1078688567
000857453 035__ $$aSP(OCoLC)1078688567
000857453 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dN$T$$dGW5XE$$dOCLCF
000857453 049__ $$aISEA
000857453 050_4 $$aQA10.35
000857453 08204 $$a530.12/01/5113$$223
000857453 1001_ $$aDalla Chiara, Maria Luisa,$$d1938-$$eauthor.
000857453 24510 $$aQuantum computation and logic :$$bhow quantum computers have inspired logical investigations /$$cMaria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini and Giuseppe Sergioli.
000857453 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2018]
000857453 300__ $$a1 online resource.
000857453 336__ $$atext$$btxt$$2rdacontent
000857453 337__ $$acomputer$$bc$$2rdamedia
000857453 338__ $$aonline resource$$bcr$$2rdacarrier
000857453 4901_ $$aTrends in logic ;$$vvolume 48
000857453 504__ $$aIncludes bibliographical references and index.
000857453 5050_ $$aThe 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.
000857453 506__ $$aAccess limited to authorized users.
000857453 520__ $$aThis 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-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main mathematical characters of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the EinsteinPodolskyRosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like Alice knows that everybody knows that she is pretty, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.
000857453 588__ $$aOnline resource; title from PDF title page (viewed Decmeber 12, 2018).
000857453 650_0 $$aQuantum logic.
000857453 650_0 $$aQuantum computing.
000857453 650_0 $$aQuantum computers.
000857453 7001_ $$aGiuntini, Roberto,$$eauthor.
000857453 7001_ $$aLeporini, Roberto,$$eauthor.
000857453 7001_ $$aSergioli, Giuseppe,$$eauthor.
000857453 830_0 $$aTrends in logic ;$$vv. 48.
000857453 852__ $$bebk
000857453 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-04471-8$$zOnline Access$$91397441.1
000857453 909CO $$ooai:library.usi.edu:857453$$pGLOBAL_SET
000857453 980__ $$aEBOOK
000857453 980__ $$aBIB
000857453 982__ $$aEbook
000857453 983__ $$aOnline
000857453 994__ $$a92$$bISE