Mathematics of Quantum Computation and Quantum Technology, 

Автор: Barendregt
Название: Lambda Calculus with Types
ISBN: 0521766141 ISBN-13(EAN): 9780521766142
Издательство: Cambridge Academ
Рейтинг:
Цена: 85530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.

Автор: Petr Hajek
Название: Metamathematics of First-Order Arithmetic
ISBN: 1107168414 ISBN-13(EAN): 9781107168411
Издательство: Cambridge Academ
Рейтинг:
Цена: 111620.00 T
Наличие на складе: Есть
Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.

Автор: Keisuke Fujii
Название: Quantum Computation with Topological Codes
ISBN: 9812879951 ISBN-13(EAN): 9789812879950
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a self-consistent review of quantum computation with topological quantum codes. The book covers everything required to understand topological fault-tolerant quantum computation, ranging from the definition of the surface code to topological quantum error correction and topological fault-tolerant operations.

Автор: Alexis De Vos, Stijn De Baerdemacker, Yvan Van Rentergem
Название: Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits
ISBN: 168173379X ISBN-13(EAN): 9781681733791
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 56370.00 T
Наличие на складе: Невозможна поставка.
Описание: At first sight, quantum computing is completely different from classical computing. Nevertheless, a link is provided by reversible computation.Whereas an arbitrary quantum circuit, acting on w qubits, is described by an n x n unitary matrix with n=2w, a reversible classical circuit, acting on w bits, is described by a 2w x 2w permutation matrix. The permutation matrices are studied in group theory of finite groups (in particular the symmetric group Sn); the unitary matrices are discussed in group theory of continuous groups (a.k.a. Lie groups, in particular the unitary group U(n).Both the synthesis of a reversible logic circuit and the synthesis of a quantum logic circuit take advantage of the decomposition of a matrix: the former of a permutation matrix, the latter of a unitary matrix. In both cases the decomposition is into three matrices. In both cases the decomposition is not unique.

Автор: Alexis De Vos, Stijn De Baerdemacker, Yvan Van Rentergem
Название: Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits
ISBN: 1681733811 ISBN-13(EAN): 9781681733814
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 76690.00 T
Наличие на складе: Невозможна поставка.
Описание: At first sight, quantum computing is completely different from classical computing. Nevertheless, a link is provided by reversible computation.Whereas an arbitrary quantum circuit, acting on w qubits, is described by an n x n unitary matrix with n=2w, a reversible classical circuit, acting on w bits, is described by a 2w x 2w permutation matrix. The permutation matrices are studied in group theory of finite groups (in particular the symmetric group Sn); the unitary matrices are discussed in group theory of continuous groups (a.k.a. Lie groups, in particular the unitary group U(n).Both the synthesis of a reversible logic circuit and the synthesis of a quantum logic circuit take advantage of the decomposition of a matrix: the former of a permutation matrix, the latter of a unitary matrix. In both cases the decomposition is into three matrices. In both cases the decomposition is not unique.

Автор: Maria Luisa Dalla Chiara; Roberto Giuntini; Robert
Название: Quantum Computation and Logic
ISBN: 303004470X ISBN-13(EAN): 9783030044701
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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-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 Einstein–Podolsky–Rosen 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.

Автор: Watrous, John (university Of Waterloo, Ontario)
Название: The theory of quantum information
ISBN: 1107180562 ISBN-13(EAN): 9781107180567
Издательство: Cambridge Academ
Рейтинг:
Цена: 77090.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intended for graduate students and researchers, this book presents a formal development of the mathematical theory of quantum information. Largely self-contained, with clear proofs and a wide range of exercises, it will help the reader grasp the fundamental facts and techniques that form the mathematical foundations of the subject.

Название: Classical and Quantum Computation, Kitaev
ISBN: 0821832298 ISBN-13(EAN): 9780821832295
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 37620.00 T
Наличие на складе: Невозможна поставка.
Описание: Presents an introduction to the theory of quantum computing. This book starts with the basics of classical theory of computation: Turing machines, Boolean circuits, parallel algorithms, probabilistic computation, NP-complete problems, and the idea of complexity of an algorithm. It provides an exposition of quantum computation theory.

Автор: Jackson, Howard
Название: Words and their meaning
ISBN: 1138413917 ISBN-13(EAN): 9781138413917
Издательство: Taylor&Francis
Рейтинг:
Цена: 199050.00 T
Наличие на складе: Нет в наличии.
Описание: An examination of the rise of the English dictionary, the kinds of dictionary available, the range of information they contain, factors affecting their usage and public attitudes towards them. The advantages of a thesaurus-like approach over the traditional format are discussed.

Автор: Johnathan M. Bardsley
Название: Computational Uncertainty Quantification for Inverse Problems
ISBN: 1611975379 ISBN-13(EAN): 9781611975376
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 53090.00 T
Наличие на складе: Невозможна поставка.
Описание: This book is an introduction to both computational inverse problems and uncertainty quantification (UQ) for inverse problems. The book also presents more advanced material on Bayesian methods and UQ, including Markov chain Monte Carlo sampling methods for UQ in inverse problems. Each chapter contains MATLAB® code that implements the algorithms and generates the figures, as well as a large number of exercises accessible to both graduate students and researchers. Computational Uncertainty Quantification for Inverse Problems is intended for graduate students, researchers, and applied scientists. It is appropriate for courses on computational inverse problems, Bayesian methods for inverse problems, and UQ methods for inverse problems.

Автор: Wigderson, Avi.
Название: Mathematics and computation /
ISBN: 0691189137 ISBN-13(EAN): 9780691189130
Издательство: Wiley
Рейтинг:
Цена: 47520.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

An introduction to computational complexity theory, its connections and interactions with mathematics, and its central role in the natural and social sciences, technology, and philosophy

Mathematics and Computation provides a broad, conceptual overview of computational complexity theory--the mathematical study of efficient computation. With important practical applications to computer science and industry, computational complexity theory has evolved into a highly interdisciplinary field, with strong links to most mathematical areas and to a growing number of scientific endeavors.

Avi Wigderson takes a sweeping survey of complexity theory, emphasizing the field's insights and challenges. He explains the ideas and motivations leading to key models, notions, and results. In particular, he looks at algorithms and complexity, computations and proofs, randomness and interaction, quantum and arithmetic computation, and cryptography and learning, all as parts of a cohesive whole with numerous cross-influences. Wigderson illustrates the immense breadth of the field, its beauty and richness, and its diverse and growing interactions with other areas of mathematics. He ends with a comprehensive look at the theory of computation, its methodology and aspirations, and the unique and fundamental ways in which it has shaped and will further shape science, technology, and society. For further reading, an extensive bibliography is provided for all topics covered.

Useful for undergraduates in mathematics and computer science as well as researchers and teachers in the field, Mathematics and Computation brings conceptual clarity to a central and dynamic scientific discipline.

- Comprehensive coverage of computational complexity theory

- High-level, intuitive exposition

- Historical accounts of the evolution and motivations of central concepts and models

- A resourceful look at the theory's influence on science, technology, and society

- Extensive bibliography

Автор: Yasuhito Kawano; Michele Mosca
Название: Theory of Quantum Computation, Communication, and Cryptography
ISBN: 3540893032 ISBN-13(EAN): 9783540893035
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the Third Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC 2008, held in Tokyo, Japan, in January/February 2008. This book focuses on theoretical aspects of quantum computation, quantum communication, and quantum cryptography.