Hasan & Tahar Formalized Probability Theory And Applications Using Theorem Proving 9781466683150

Варианты приобретения

Цена: 189420.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 185 шт.
При оформлении заказа до: 2025-07-10
Ориентировочная дата поставки: Июль- Август
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Hasan & Tahar
Название: Formalized Probability Theory And Applications Using Theorem Proving
ISBN: 9781466683150
Издательство: Mare Nostrum (Eurospan)
Классификация:

Вероятность и статистика

ISBN-10: 1466683155
Обложка/Формат: Hardback
Страницы: 300
Вес: 0.76 кг.
Дата издания: 30.04.2015
Серия: Mathematics
Язык: English
Иллюстрации: Black & white illustrations
Размер: 254 x 178 x 19
Читательская аудитория: Postgraduate, research & scholarly
Ключевые слова: Probability & statistics
Рейтинг:
Поставляется из: Англии
Описание: 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.

Formalized Probability Theory And Applications Using Theorem Proving, Hasan & Tahar