{"product_id":"formalized-probability-theory-and-applications-osman-hasan-9781466683150","title":"Formalized Probability Theory and Applications Using Theorem Proving","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Osman Hasan,Sofiène Tahar\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1466683155\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781466683150\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Information Science Reference\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 03\/31\/2015\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 312\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.67lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 10.00h x 7.00w x 0.75d","brand":"Osman Hasan","offers":[{"title":"Hardcover","offer_id":47520455688447,"sku":"9781466683150","price":195.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_ef6209c1-6b4b-454c-83f0-9e01cc9c4511.jpg?v=1762885386","url":"https:\/\/www.whiterainbookhouse.com\/products\/formalized-probability-theory-and-applications-osman-hasan-9781466683150","provider":"WR Book House","version":"1.0","type":"link"}