Adventures in Computer Science: From Classical Bits to Quantum Bits

ISBN-13: 9783319648064 / Angielski / Twarda / 2017 / 198 str.

Vicente Moret-Bonillo

Opis

In particular the author covers concepts related to information, classical computing, logic, reversible computing, quantum mechanics, quantum computing, thermodynamics and some artificial intelligence and biology, all approached from the viewpoint of computer sciences.

Spis treści

The Universe of Binary Numbers.- Back and Forth Computing.- Reversible Architectures.- The Principles of Quantum Mechanics.- Introducing Quantum Computing.- Feynman's Quantum Computer Machine.- Some Quantum Algorithms.- Concluding Remarks.- App. A: Mathematical Background.- App. B: Glossary of Terms Used in the Book.

O autorze

Vicente Moret-Bonillo has a degree in physical chemistry, with a major in quantum chemistry. His PhD is for work on the application of artificial intelligence techniques to mechanical patient ventilation. He is a university professor in the Dept. of Computer Science of the University of A Coruña. His main interests are knowledge representation, the application of knowledge engineering techniques to dynamic systems, quantum computing, and performance analysis of intelligent systems.

Blurb

The main focus of this textbook is the basic unit of information and the way in which our understanding of this has evolved over time. In particular the author covers concepts related to information, classical computing, logic, reversible computing, quantum mechanics, quantum computing, thermodynamics and some artificial intelligence and biology, all approached from the viewpoint of computer sciences.

The book begins by asking the following nontrivial question: what is a bit? The author then discusses logic, logic gates, reversible computing and reversible architectures, and the concept of disorder. He then tries to establish the relationship between three essential questions that justify quantum approaches in computer sciences: the energy required to perform a real-life computation, the size of current processors, and the reversibility of quantum operations. Based on these concepts, the author establishes the conditions that justify the use of quantum techniques for certain kinds of computational tasks, and he uses formal descriptions and formal argumentations to introduce key quantum mechanical concepts and approaches. The rest of the book is formally different, focusing on practical issues, including a discussion of remarkable quantum algorithms in a treatment based on quantum circuit theory.

The book is valuable for graduate students in computer science, and students of other disciplines who are engaged with physical models of information and computing.