Hilary Putnam on Logic and Mathematics, Geoffrey Hellman; Roy T. Cook
Автор: 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.
An exploration of the scientific limits of knowledge that challenges our deep-seated beliefs about our universe, our rationality, and ourselves.
Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own thought processes.
Yanofsky describes simple tasks that would take computers trillions of centuries to complete and other problems that computers can never solve; perfectly formed English sentences that make no sense; different levels of infinity; the bizarre world of the quantum; the relevance of relativity theory; the causes of chaos theory; math problems that cannot be solved by normal means; and statements that are true but cannot be proven. He explains the limitations of our intuitions about the world -- our ideas about space, time, and motion, and the complex relationship between the knower and the known.
Moving from the concrete to the abstract, from problems of everyday language to straightforward philosophical questions to the formalities of physics and mathematics, Yanofsky demonstrates a myriad of unsolvable problems and paradoxes. Exploring the various limitations of our knowledge, he shows that many of these limitations have a similar pattern and that by investigating these patterns, we can better understand the structure and limitations of reason itself. Yanofsky even attempts to look beyond the borders of reason to see what, if anything, is out there.
Автор: 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.
Автор: Shapiro, Stewart Название: The Oxford Handbook of Philosophy of Mathematics and Logic ISBN: 0195325923 ISBN-13(EAN): 9780195325928 Издательство: Oxford Academ Рейтинг: Цена: 7681.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Philosophy of mathematics and logic remain central disciplines in contemporary philosophy. This volume covers these disciplines, giving the reader an overview of the major problems, positions, and battle lines. It is aimed at those wishing to learn about the philosophy of mathematics and the philosophy of logic.
Автор: Katz Название: Introduction to Modern Cryptography, Second Edition ISBN: 1466570261 ISBN-13(EAN): 9781466570269 Издательство: Taylor&Francis Рейтинг: Цена: 15310.00 р. Наличие на складе: Нет в наличии.
Описание:
Cryptography is ubiquitous and plays a key role in ensuring data secrecy and integrity as well as in securing computer systems more broadly. Introduction to Modern Cryptography provides a rigorous yet accessible treatment of this fascinating subject.
The authors introduce the core principles of modern cryptography, with an emphasis on formal definitions, clear assumptions, and rigorous proofs of security. The book begins by focusing on private-key cryptography, including an extensive treatment of private-key encryption, message authentication codes, and hash functions. The authors also present design principles for widely used stream ciphers and block ciphers including RC4, DES, and AES, plus provide provable constructions of stream ciphers and block ciphers from lower-level primitives. The second half of the book covers public-key cryptography, beginning with a self-contained introduction to the number theory needed to understand the RSA, Diffie-Hellman, and El Gamal cryptosystems (and others), followed by a thorough treatment of several standardized public-key encryption and digital signature schemes.
Integrating a more practical perspective without sacrificing rigor, this widely anticipated Second Edition offers improved treatment of:
Stream ciphers and block ciphers, including modes of operation and design principles
Authenticated encryption and secure communication sessions
Hash functions, including hash-function applications and design principles
Attacks on poorly implemented cryptography, including attacks on chained-CBC encryption, padding-oracle attacks, and timing attacks
The random-oracle model and its application to several standardized, widely used public-key encryption and signature schemes
Elliptic-curve cryptography and associated standards such as DSA/ECDSA and DHIES/ECIES
Containing updated exercises and worked examples, Introduction to Modern Cryptography, Second Edition can serve as a textbook for undergraduate- or graduate-level courses in cryptography, a valuable reference for researchers and practitioners, or a general introduction suitable for self-study.
Автор: Lamothe Gilles, Khoury Joseph Название: The Mathematics That Power Our World, The: How Is It Made? ISBN: 9813144084 ISBN-13(EAN): 9789813144088 Издательство: World Scientific Publishing Рейтинг: Цена: 3643.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The Mathematics That Power Our World: How Is It Made? is an attempt to unveil the hidden mathematics behind the functioning of many of the devices we use on a daily basis. For the past years, discussions on the best approach in teaching and learning mathematics have shown how much the world is divided on this issue. The one reality we seem to agree on globally is the fact that our new generation is lacking interest and passion for the subject. One has the impression that the vast majority of young students finishing high school or in their early post-secondary studies are more and more divided into two main groups when it comes to the perception of mathematics. The first group looks at mathematics as a pure academic subject with little connection to the real world. The second group considers mathematics as a set of tools that a computer can be programmed to use and thus, a basic knowledge of the subject is sufficient. This book serves as a middle ground between these two views. Many of the elegant and seemingly theoretical concepts of mathematics are linked to state-of-the-art technologies. The topics of the book are selected carefully to make that link more relevant. They include: digital calculators, basics of data compression and the Huffman coding, the JPEG standard for data compression, the GPS system studied both from the receiver and the satellite ends, image processing and face recognition.
This book is a great resource for mathematics educators in high schools, colleges and universities who want to engage their students in advanced readings that go beyond the classroom discussions. It is also a solid foundation for anyone thinking of pursuing a career in science or engineering. All efforts were made so that the exposition of each topic is as clear and self-contained as possible and thus, appealing to anyone trying to broaden his mathematical horizons.
Автор: Bergner, Julia E. (university Of Virginia) Название: The Homotopy theory of (?,1)-categories ISBN: 110749902X ISBN-13(EAN): 9781107499027 Издательство: Cambridge Academ Рейтинг: Цена: 6019.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Homotopical or ( ,1)-categories have become a significant framework in many areas of mathematics. This book gives an introduction to the different approaches to these structures and the comparisons between them from the perspective of homotopy theory.
Автор: Smullyan Raymond Название: Reflections: The Magic, Music And Mathematics Of Raymond Smullyan ISBN: 9814663190 ISBN-13(EAN): 9789814663199 Издательство: World Scientific Publishing Рейтинг: Цена: 3802.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an exciting if not rambling account of events of Raymond Smullyan`s four lives - as a mathematical logician, musician, magician, and author - together with thoughts that come to his mind as he recalls them.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
