Описание: Chinese remainder theorem continues to present itself in fresh contexts and open vistas for new types of applications. This book tells about CRT, its background and philosophy, history, generalizations and, most importantly, its applications.
Описание: Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve.Formalized Probability Theory and Applications Using Theorem Proving discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. Combining practical application with theoretical discussion, this book is an important reference tool for mathematicians, scientists, engineers, and researchers in all STEM fields.
Описание: There`s Something About Godel is a lucid and accessible guide to Godel`s revolutionary Incompleteness Theorem , considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem.
Автор: Klaus Schneider; Jens Brandt Название: Theorem Proving in Higher Order Logics ISBN: 3540745904 ISBN-13(EAN): 9783540745907 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007. This book presents 21 revised full papers together with 5 proof pearls and the abstracts of 3 invited papers that were reviewed and selected from 52 submissions.
Автор: Jabri Название: The Mountain Pass Theorem ISBN: 1107403332 ISBN-13(EAN): 9781107403338 Издательство: Cambridge Academ Рейтинг: Цена: 12830.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This 2003 book presents min-max methods through a study of the different faces of the Mountain Pass Theorem of Ambrosetti and Rabinowitz. The reader is led from accessible results to the forefront of the theory, and at each step, the author presents the extensions and variants of the MPT in a complete and unified way.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
