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 Advanced Technologies Management for Retailing by Osman Hasan, Sofiène Tahar
Cover of the book Multidisciplinary Perspectives on Telecommunications, Wireless Systems, and Mobile Computing by Osman Hasan, Sofiène Tahar
Cover of the book Combating Internet-Enabled Terrorism by Osman Hasan, Sofiène Tahar
Cover of the book Challenges, Opportunities, and Dimensions of Cyber-Physical Systems by Osman Hasan, Sofiène Tahar
Cover of the book Cloud Computing Advancements in Design, Implementation, and Technologies by Osman Hasan, Sofiène Tahar
Cover of the book Technology for Facilitating Humanity and Combating Social Deviations by Osman Hasan, Sofiène Tahar
Cover of the book Intelligent Multimedia Technologies for Networking Applications by Osman Hasan, Sofiène Tahar
Cover of the book Socio-Cybernetic Study of God and the World-System by Osman Hasan, Sofiène Tahar
Cover of the book E-Commerce for Organizational Development and Competitive Advantage by Osman Hasan, Sofiène Tahar
Cover of the book Multimedia Services and Applications in Mission Critical Communication Systems by Osman Hasan, Sofiène Tahar
Cover of the book Intelligent Vehicles and Materials Transportation in the Manufacturing Sector by Osman Hasan, Sofiène Tahar
Cover of the book Teaching Research Methods in Public Administration by Osman Hasan, Sofiène Tahar
Cover of the book Decentralized Computing Using Blockchain Technologies and Smart Contracts by Osman Hasan, Sofiène Tahar
Cover of the book Online Banking Security Measures and Data Protection by Osman Hasan, Sofiène Tahar
Cover of the book Web-Based Multimedia Advancements in Data Communications and Networking Technologies 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