Formalized Probability Theory and Applications Using Theorem Proving

by Sofiène Tahar and Osman Hasan

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...

• Format: Hardcover
• Language: English
• ISBN: 1466683155
• ISBN13: 9781466683150
• Release Date: March 2015
• Publisher: Information Science Reference
• Length: 312 Pages
• Weight: 1.67 lbs.
• Dimensions: 0.8" x 7.0" x 10.0"