Formalized probability theory and applications using theorem proving

"This book 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"--

Saved in:
Bibliographic Details
Main Author Hasan, Osman, 1975-
Other Authors Tahar, Sofiène, 1966-
Format Electronic eBook
LanguageEnglish
Published Hershey, PA : Information Science Reference, an imprint of IGI Global, [2015]
Subjects
Computer systems > Evaluation.
Automatic theorem proving.
Stochastic analysis > Data processing.
elektronické knihy
electronic books
Online AccessFull text
ISBN9781466683174
1466683171
9781466683150
9781466683167
1466683163
9781680157338
1680157337
1466683155
Physical Description1 online resource (xii, 298 pages)

Cover

Table of Contents:
  • Probabilistic analysis
  • Formal verification methods
  • Probabilistic analysis using theorem proving
  • Measure theory and Lebesgue integration theories
  • Probability theory
  • Discrete-time Markov chains in HOL
  • Classified discrete-time Markov chains
  • Formalization of hidden Markov model
  • Information measures
  • Formal analysis of information flow using min-entropy and belief min-entropy
  • Applications of formalized information theory
  • Reliability theory
  • Scheduling algorithm for wireless sensor networks
  • Formal probabilistic analysis of detection properties in wireless sensor networks.

Similar Items