Mathematical Logic and Probability with Basic Programming
Title | Mathematical Logic and Probability with Basic Programming PDF eBook |
Author | William S. Dorn |
Publisher | |
Pages | 232 |
Release | 1973 |
Genre | Algebra, Boolean |
ISBN |
Mathematical Logic and Probability With Basic Programming [By] William S. Dorn, Herbert J. Greenberg [And] Mary K. Keller
Title | Mathematical Logic and Probability With Basic Programming [By] William S. Dorn, Herbert J. Greenberg [And] Mary K. Keller PDF eBook |
Author | William S. Dorn |
Publisher | |
Pages | 216 |
Release | 1973 |
Genre | Algebra,Boolean Data Processing |
ISBN |
Probability Theory
Title | Probability Theory PDF eBook |
Author | |
Publisher | Allied Publishers |
Pages | 436 |
Release | 2013 |
Genre | |
ISBN | 9788177644517 |
Probability theory
Abstraction, Refinement and Proof for Probabilistic Systems
Title | Abstraction, Refinement and Proof for Probabilistic Systems PDF eBook |
Author | Annabelle McIver |
Publisher | Springer Science & Business Media |
Pages | 412 |
Release | 2005 |
Genre | Computers |
ISBN | 9780387401157 |
Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates, by examples, the typical steps necessary to build a mathematical model of any programming paradigm.
Sentential Probability Logic
Title | Sentential Probability Logic PDF eBook |
Author | Theodore Hailperin |
Publisher | Lehigh University Press |
Pages | 316 |
Release | 1996 |
Genre | Mathematics |
ISBN | 9780934223454 |
This study presents a logic in which probability values play a semantic role comparable to that of truth values in conventional logic. The difference comes in with the semantic definition of logical consequence. It will be of interest to logicians, both philosophical and mathematical, and to investigators making use of logical inference under uncertainty, such as in operations research, risk analysis, artificial intelligence, and expert systems.
Boole's Logic and Probability
Title | Boole's Logic and Probability PDF eBook |
Author | T. Hailperin |
Publisher | Elsevier |
Pages | 441 |
Release | 1986-10-01 |
Genre | Mathematics |
ISBN | 0080880053 |
Since the publication of the first edition in 1976, there has been a notable increase of interest in the development of logic. This is evidenced by the several conferences on the history of logic, by a journal devoted to the subject, and by an accumulation of new results. This increased activity and the new results - the chief one being that Boole's work in probability is best viewed as a probability logic - were influential circumstances conducive to a new edition.Chapter 1, presenting Boole's ideas on a mathematical treatment of logic, from their emergence in his early 1847 work on through to his immediate successors, has been considerably enlarged. Chapter 2 includes additional discussion of the ``uninterpretable'' notion, both semantically and syntactically. Chapter 3 now includes a revival of Boole's abandoned propositional logic and, also, a discussion of his hitherto unnoticed brush with ancient formal logic. Chapter 5 has an improved explanation of why Boole's probability method works. Chapter 6, Applications and Probability Logic, is a new addition. Changes from the first edition have brought about a three-fold increase in the bibliography.
Foundations of Probabilistic Programming
Title | Foundations of Probabilistic Programming PDF eBook |
Author | Gilles Barthe |
Publisher | Cambridge University Press |
Pages | |
Release | 2020-12-03 |
Genre | Computers |
ISBN | 1108805744 |
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core.