Quantum Computation and Logic
How Quantum Computers Have Inspired Logical Investigations
- 194 pages
- 7 hours of reading
This book surveys key concepts and results from the intersection of quantum information, computation, and logic. It covers qubits, quantum gates, entanglement phenomena, and the Einstein-Podolsky-Rosen paradox. It also explores quantum computational semantics, quantum Turing machines, and concludes with a mathematical appendix.
