Logo

Probabilistic Programming and Bayesian Methods for Hackers

Small book cover: Probabilistic Programming and Bayesian Methods for Hackers

Probabilistic Programming and Bayesian Methods for Hackers
by

Publisher: GitHub, Inc.

Description:
This book is designed as an introduction to Bayesian inference from a computational understanding-first, and mathematics-second, point of view. The book assumes no prior knowledge of Bayesian inference nor probabilistic programming.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: Mathematics in the Age of the Turing MachineMathematics in the Age of the Turing Machine
by - arXiv
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
(12321 views)
Book cover: Computer Algebra, Algorithms, Systems and ApplicationsComputer Algebra, Algorithms, Systems and Applications
by - Czech Technical University
From the table of contents: Introduction; Algorithms for algebraic computation; Integrated mathematical systems; Basic possibilities of integrated mathematical systems; Applications of computer algebra; Another sources of study.
(13100 views)
Book cover: Algorithms in Real Algebraic GeometryAlgorithms in Real Algebraic Geometry
by - Springer
The monograph gives a detailed exposition of the algorithmic real algebraic geometry. It is well written and will be useful both for beginners and for advanced readers, who work in real algebraic geometry or apply its methods in other fields.
(13701 views)
Book cover: Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic
by - Springer
This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
(12722 views)