Formalized Probability Theory and Applications Using Theorem Proving - Hardcover

Hasan, Osman; Tahar, Sofiène

 
9781466683150: Formalized Probability Theory and Applications Using Theorem Proving
Hardcover
ISBN 10: 1466683155 ISBN 13: 9781466683150
Verlag: Information Science Reference, 2015

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Osman Hasan, National University of Sciences and Technology, Pakistan.

Sofiène Tahar, Concordia University, Canada.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Information Science Reference
Erscheinungsdatum
2015
Sprache
Englisch
ISBN 10 
1466683155
ISBN 13 
9781466683150
Einband
Gebundene Ausgabe
Anzahl der Seiten
312
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland