Автор: 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.
Автор: John Stillwell Название: Mathematics and Its History ISBN: 1461426324 ISBN-13(EAN): 9781461426325 Издательство: Springer Рейтинг: Цена: 7680.00 р. Наличие на складе: Поставка под заказ.
Описание: From a review of the second edition:"This book covers many interesting topics not usually covered in a present day undergraduate course, as well as certain basic topics such as the development of the calculus and the solution of polynomial equations.
Автор: Hinman Название: Recursion-Theoretic Hierarchies ISBN: 1107168244 ISBN-13(EAN): 9781107168244 Издательство: Cambridge Academ Рейтинг: Цена: 23918.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.
Автор: B. V. Senthil Kumar, Hemen Dutta Название: Discrete Mathematical Structures: A Succinct Foundation ISBN: 0367148692 ISBN-13(EAN): 9780367148690 Издательство: Taylor&Francis Рейтинг: Цена: 23734.00 р. Наличие на складе: Поставка под заказ.
Описание: Discrete mathematical Structures are very essential for many fields of study. This book is designed as an introductory book that will provide a sufficient number of solved examples, to motivate the reader to solve similar types of problems.
Автор: Smullyan Raymond M Название: Beginner`S Further Guide To Mathematical Logic, A ISBN: 9814725722 ISBN-13(EAN): 9789814725729 Издательство: World Scientific Publishing Рейтинг: Цена: 3168.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on G del's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.
Автор: Friedman, Michael. Название: A history of folding in mathematics : ISBN: 331972486X ISBN-13(EAN): 9783319724867 Издательство: Springer Рейтинг: Цена: 30745.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: While it is well known that the Delian problems are impossible to solve with a straightedge and compass – for example, it is impossible to construct a segment whose length is cube root of 2 with these instruments – the discovery of the Italian mathematician Margherita Beloch Piazzolla in 1934 that one can in fact construct a segment of length cube root of 2 with a single paper fold was completely ignored (till the end of the 1980s). This comes as no surprise, since with few exceptions paper folding was seldom considered as a mathematical practice, let alone as a mathematical procedure of inference or proof that could prompt novel mathematical discoveries. A few questions immediately arise: Why did paper folding become a non-instrument? What caused the marginalisation of this technique? And how was the mathematical knowledge, which was nevertheless transmitted and prompted by paper folding, later treated and conceptualised?Aiming to answer these questions, this volume provides, for the first time, an extensive historical study on the history of folding in mathematics, spanning from the 16th century to the 20th century, and offers a general study on the ways mathematical knowledge is marginalised, disappears, is ignored or becomes obsolete.In doing so, it makes a valuable contribution to the field of history and philosophy of science, particularly the history and philosophy of mathematics and is highly recommended for anyone interested in these topics.
Автор: Lipschutz, Seymour Название: 2000 solved problems in discrete mathematics ISBN: 0070380317 ISBN-13(EAN): 9780070380318 Издательство: McGraw-Hill Рейтинг: Цена: 5489.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Gives you 2,000 problems in discrete mathematics. This guide helps you to master various types of problems you will face on your tests, from simple questions on set theory to complex Boolean algebra, logic gates, and the use of propositional calculus.
Автор: Russell Bertrand Название: Principles of Mathematics ISBN: 0415487412 ISBN-13(EAN): 9780415487412 Издательство: Taylor&Francis Рейтинг: Цена: 2908.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A precursor to Russell`s famous Principa Mathematica, this is one of the most original and comprehensive treatises on the logical foundation of mathematics available today.
Автор: 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.
Автор: Tomkowicz Название: The Banach–Tarski Paradox ISBN: 1107042593 ISBN-13(EAN): 9781107042599 Издательство: Cambridge Academ Рейтинг: Цена: 15206.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Banach-Tarski Paradox is the most surprising result in mathematics. This new edition of a classic book offers a comprehensive, accessible presentation, with many related results, especially connections to non-Euclidean geometry, to squaring the circle, and even to some art by Escher. This material is suited to projects for undergraduates or masters students.
Автор: Hassan Tahiri Название: The Philosophers and Mathematics ISBN: 3319937324 ISBN-13(EAN): 9783319937328 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Поставка под заказ.
Описание: This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays that examine the distinctive historical relationship between mathematics and philosophy. Readers learn what key philosophers throughout the ages thought about mathematics. This includes both thinkers who recognized the relevance of mathematics to their own work as well as those who chose to completely ignore its many achievements.The essays offer insight into the role that mathematics played in the formation of each included philosopher’s doctrine as well as the impact its remarkable expansion had on the philosophical systems each erected. Conversely, the authors also highlight the ways that philosophy contributed to the growth and transformation of mathematics. Throughout, significant historical examples help to illustrate these points in a vivid way. Mathematics has often been a favored interlocutor of philosophers and a major source of inspiration. This book is the outcome of an international conference held in honor of Roshdi Rashed, a renowned historian of mathematics. It provides researchers, students, and interested readers with remarkable insights into the history of an important relationship throughout the ages.
Автор: Stillwell John Название: Concise History of Mathematics for Philosophers . ISBN: 1108456235 ISBN-13(EAN): 9781108456234 Издательство: Cambridge Academ Рейтинг: Цена: 2851.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents an outline of mathematics and its history, with particular emphasis on events that shook up its philosophy. Ranges from ancient Greece to the nineteenth- and twentieth-century discoveries on the nature of infinity and proof. Recurring themes are intuition and logic, meaning and existence, and the discrete and the continuous.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
