Foundations of Probabilistic Programming


Foundations of Probabilistic Programming
by 作者: Gilles Barthe,Joost-Pieter Katoen,Alexandra Silva
pages 页数: 582 pages
ISBN-10 书号: 110848851X
ISBN-13 书号: 9781108488518
Publisher Finelybook 出版社: Cambridge University Press; (January 7,2021)
Language 语言: English


Book Description
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

下载地址:

Foundations of Probabilistic Programming 9781108488518.pdf

打赏
未经允许不得转载:finelybook » Foundations of Probabilistic Programming

相关推荐

  • 暂无文章

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

觉得文章有用就打赏一下

您的打赏,我们将继续给力更多优质内容

支付宝扫一扫打赏

微信扫一扫打赏