Mathematics of Quantum Computation and Quantum Technology, 

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Maria Luisa Dalla Chiara; Roberto Giuntini; Robert
Название: Quantum Computation and Logic
ISBN: 303004470X ISBN-13(EAN): 9783030044701
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 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.

Автор: Jackson, Howard
Название: Words and their meaning
ISBN: 1138413917 ISBN-13(EAN): 9781138413917
Издательство: Taylor&Francis
Рейтинг:
Цена: 29858.00 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

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

Описание:

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

Автор: 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.