Formalized Probability Theory and Applications Using Theorem Proving

Nonfiction, Computers, Advanced Computing, Programming, Logic Design, Science & Nature, Mathematics, Statistics
Cover of the book Formalized Probability Theory and Applications Using Theorem Proving by Osman Hasan, Sofiène Tahar, IGI Global
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Osman Hasan, Sofiène Tahar ISBN: 9781466683174
Publisher: IGI Global Publication: March 31, 2015
Imprint: Information Science Reference Language: English
Author: Osman Hasan, Sofiène Tahar
ISBN: 9781466683174
Publisher: IGI Global
Publication: March 31, 2015
Imprint: Information Science Reference
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from IGI Global

Cover of the book Handbook of Research on Challenges and Opportunities in Launching a Technology-Driven International University by Osman Hasan, Sofiène Tahar
Cover of the book Enabling Technologies and Architectures for Next-Generation Networking Capabilities by Osman Hasan, Sofiène Tahar
Cover of the book Enterprise Resource Planning by Osman Hasan, Sofiène Tahar
Cover of the book Open Source Mobile Learning by Osman Hasan, Sofiène Tahar
Cover of the book Handbook of Research on Seismic Assessment and Rehabilitation of Historic Structures by Osman Hasan, Sofiène Tahar
Cover of the book Setting a New Agenda for Student Engagement and Retention in Historically Black Colleges and Universities by Osman Hasan, Sofiène Tahar
Cover of the book Advanced Condition Monitoring and Fault Diagnosis of Electric Machines by Osman Hasan, Sofiène Tahar
Cover of the book Psychosocial Studies of the Individual's Changing Perspectives in Alzheimer's Disease by Osman Hasan, Sofiène Tahar
Cover of the book Stakeholder Adoption of E-Government Services by Osman Hasan, Sofiène Tahar
Cover of the book Handbook of Research on Generalized and Hybrid Set Structures and Applications for Soft Computing by Osman Hasan, Sofiène Tahar
Cover of the book Enhancing the Modern Organization through Information Technology Professionals by Osman Hasan, Sofiène Tahar
Cover of the book Streaming Media Delivery in Higher Education by Osman Hasan, Sofiène Tahar
Cover of the book Research 2.0 and the Impact of Digital Technologies on Scholarly Inquiry by Osman Hasan, Sofiène Tahar
Cover of the book Challenges Surrounding the Education of Children with Chronic Diseases by Osman Hasan, Sofiène Tahar
Cover of the book Agrifood Economics and Sustainable Development in Contemporary Society by Osman Hasan, Sofiène Tahar
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy