Gleason`s theorem and its applications, Dvurecenskij, A.

Автор: Hasan & Tahar
Название: Formalized Probability Theory And Applications Using Theorem Proving
ISBN: 1466683155 ISBN-13(EAN): 9781466683150
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 189420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Berto
Название: There`s Something About Godel - The Complete Guide to the Incompleteness Theorem
ISBN: 1405197668 ISBN-13(EAN): 9781405197663
Издательство: Wiley
Рейтинг:
Цена: 89710.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 85530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Salomaa A Et Al
Название: Chinese Remainder Theorem: Applications In Computing, Coding, Cryptography
ISBN: 9810228279 ISBN-13(EAN): 9789810228279
Издательство: World Scientific Publishing
Рейтинг:
Цена: 87650.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Gleason Christine A
Название: Avery`s Diseases of the Newborn
ISBN: 1437701345 ISBN-13(EAN): 9781437701340
Издательство: Elsevier Science
Рейтинг:
Цена: 140500.00 T
Наличие на складе: Невозможна поставка.
Описание: A practical, clinical reference for diagnosing and managing of various important diseases affecting newborns. It provides fresh perspectives and updated coverage of genetics, nutrition, respiratory conditions, MRSA, neonatal pain, cardiovascular fetal interventions, care of the late preterm infant, and more.