نرم افزار: سیستم ها: محاسبات علمی

مبانی برنامه ریزی احتمالی

Foundations of Probabilistic Programming

دانلود کتاب Foundations of Probabilistic Programming (به فارسی: مبانی برنامه ریزی احتمالی) نوشته شده توسط «Gilles Barthe – Joost-Pieter Katoen – Alexandra Silva»


اطلاعات کتاب مبانی برنامه ریزی احتمالی

موضوع اصلی: کامپیوتر – علوم کامپیوتر

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: Gilles Barthe – Joost-Pieter Katoen – Alexandra Silva

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2021

تعداد صفحه: 582 / 584

حجم فایل: 4.12 مگابایت

کد کتاب: 110848851X , 9781108488518

توضیحات کتاب مبانی برنامه ریزی احتمالی

یک برنامه احتمالی واقعاً چه چیزی را محاسبه می کند؟ چگونه می توان به طور رسمی در مورد چنین برنامه های احتمالی استدلال کرد؟ این راهنمای ارزشمند چنین سوالات ابتدایی و موارد دیگر را پوشش می دهد. این یک نمای کلی از مبانی نظری برنامه‌نویسی احتمالی مدرن و کاربردهای آن در یادگیری ماشین، امنیت و سایر حوزه‌ها را در سطحی مناسب برای دانشجویان تحصیلات تکمیلی و افراد غیرمتخصص در این زمینه ارائه می‌کند. علاوه بر این، این کتاب به ارتباط بین برنامه های احتمالی و منطق ریاضی، امنیت (احتمال اینکه نرم افزار اطلاعات محرمانه را درز کند چقدر است؟) می پردازد و سه زبان برنامه نویسی را برای برنامه های مختلف ارائه می دهد: جداول اکسل، آزمایش برنامه، و محاسبات تقریبی. این عنوان به صورت Open Access در Cambridge Core نیز موجود است.


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.

دانلود کتاب «مبانی برنامه ریزی احتمالی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

دیدگاهتان را بنویسید