View in EDS PDF Full Text

Formalized Probability Theory and Applications Using Theorem Proving

Saved in:
Bibliographic Details
Title: Formalized Probability Theory and Applications Using Theorem Proving
Description: 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.
Authors: Osman Hasan, Sofiène Tahar
Resource Type: eBook.
Subjects: Automatic theorem proving, Computer systems--Evaluation, Stochastic analysis--Data processing
Categories: MATHEMATICS / Probability & Statistics / General, COMPUTERS / Logic Design, MATHEMATICS / General
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 986105
RelevancyScore: 1064
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1063.91076660156
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$986105$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$986105$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formalized Probability Theory and Applications Using Theorem Proving
– Name: Abstract
  Label: Description
  Group: Ab
  Data: 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.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Osman+Hasan%22">Osman Hasan</searchLink><br /><searchLink fieldCode="AR" term="%22Sofiène+Tahar%22">Sofiène Tahar</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Automatic+theorem+proving%22">Automatic theorem proving</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+systems--Evaluation%22">Computer systems--Evaluation</searchLink><br /><searchLink fieldCode="DE" term="%22Stochastic+analysis--Data+processing%22">Stochastic analysis--Data processing</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Probability+%26+Statistics+%2F+General%22">MATHEMATICS / Probability & Statistics / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Logic+Design%22">COMPUTERS / Logic Design</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+General%22">MATHEMATICS / General</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=986105
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 004.029
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Automatic theorem proving
        Type: general
      – SubjectFull: Computer systems--Evaluation
        Type: general
      – SubjectFull: Stochastic analysis--Data processing
        Type: general
    Titles:
      – TitleFull: Formalized Probability Theory and Applications Using Theorem Proving
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Osman Hasan
      – PersonEntity:
          Name:
            NameFull: Sofiène Tahar
      – PersonEntity:
          Name:
            NameFull: Osman Hasan
      – PersonEntity:
          Name:
            NameFull: Sofiène Tahar
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2015
            – D: 29
              M: 04
              Type: profile
              Y: 2015
          Identifiers:
            – Type: isbn-print
              Value: 9781466683150
            – Type: isbn-electronic
              Value: 9781466683167
          Titles:
            – TitleFull: Formalized Probability Theory and Applications Using Theorem Proving
              Type: main
ResultId 1