Quantum Computation and Logic, Maria Luisa Dalla Chiara; Roberto Giuntini; Robert
Автор: Barendregt Название: Lambda Calculus with Types ISBN: 0521766141 ISBN-13(EAN): 9780521766142 Издательство: Cambridge Academ Рейтинг: Цена: 12830.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Research and development in the pioneering field of quantum computing involve just about every facet of science and engineering, including the significant areas of mathematics and physics. Based on the firm understanding that mathematics and physics are equal partners in the continuing study of quantum science, Mathematics of Quantum Computation and Quantum Technology explores the rapid mathematical advancements made in this field in recent years.
Novel Viewpoints on Numerous Aspects of Quantum Computing and Technology Edited by a well-respected team of experts, this volume compiles contributions from specialists across various disciplines. It contains four main parts, beginning with topics in quantum computing that include quantum algorithms and hidden subgroups, quantum search, algorithmic complexity, and quantum simulation. The next section covers quantum technology, such as mathematical tools, quantum wave functions, superconducting quantum computing interference devices (SQUIDs), and optical quantum computing. The section on quantum information deals with error correction, cryptography, entanglement, and communication. The final part explores topological quantum computation, knot theory, category algebra, and logic. The Tools You Need to Tackle the Next Generation of Quantum Technology This book facilitates both the construction of a common quantum language and the development of interdisciplinary quantum techniques, which will aid efforts in the pursuit of the ultimate goal-a real scalable quantum computer.
Автор: Keisuke Fujii Название: Quantum Computation with Topological Codes ISBN: 9812879951 ISBN-13(EAN): 9789812879950 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Petr Hajek Название: Metamathematics of First-Order Arithmetic ISBN: 1107168414 ISBN-13(EAN): 9781107168411 Издательство: Cambridge Academ Рейтинг: Цена: 16743.00 р. 23918.00-30% Наличие на складе: Есть (1 шт.) Описание: 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.
Автор: Watrous, John (university Of Waterloo, Ontario) Название: The theory of quantum information ISBN: 1107180562 ISBN-13(EAN): 9781107180567 Издательство: Cambridge Academ Рейтинг: Цена: 11563.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: Published in honor of the 60th birthday of Samson Abramsky, this book offers contributions by some of his colleagues, former students and friends, representing his manifold contributions to the disciplines of semantics, logic, games and quantum mechanics.
Автор: Yasuhito Kawano; Michele Mosca Название: Theory of Quantum Computation, Communication, and Cryptography ISBN: 3540893032 ISBN-13(EAN): 9783540893035 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Mladen Pavicic Название: Quantum Computation and Quantum Communication: ISBN: 1461498929 ISBN-13(EAN): 9781461498926 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The attraction of quantum computation and quantum communica- tion theory and experiments hes in the fact that we engineer both them themselves and the quantum systems they treat. This approach has turned out to be very resiUent. Driven by the final goal of calculating exponentially faster and communicating infinitely more securely than we do today, as soon as we encounter a limitation in either a theory or experiment, a new idea around the no-go emerges. As soon as the decoherence "demon" threatened the first computation models, quan- tum error correction theory was formulated and applied not only to computation theory but also to communication theory to make it un- conditionally secure. As soon as liquid-state nuclear magnetic resonance experiments started to approach their limits, solid-based nuclear spin experiments--the Kane computer--came in. As soon as it was proved that it is theoretically impossible to completely distinguish photon Bell states, three new approaches appeared: hyperentanglement, the use of continuous variables, and the Knill-Laflamme-Milburn proposal. There are many more such examples. What facilitated all these breakthroughs is the fact that at the present stage of development of quantum computation and communication, we deal with elementary quantum systems consisting of several two-level systems. The complexity of handling and controlHng such simple sys- tems in a laboratory has turned out to be tremendous, but the basic physical models we follow and calculate for the systems themselves are not equally intricate.
Автор: J.-J. Ch. Meyer, W. van der Hoek Название: Epistemic Logic for AI and Computer Science ISBN: 0521602807 ISBN-13(EAN): 9780521602808 Издательство: Cambridge Academ Рейтинг: Цена: 9186.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.
Автор: Dave Bacon; Miguel Martin-Delgado; Martin Roettele Название: Theory of Quantum Computation, Communication, and Cryptography ISBN: 3642544282 ISBN-13(EAN): 9783642544286 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 6th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2011, held in Madrid, Spain, in May 2011.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
