خرید کتاب معناشناسی حساب لامبدا احتمالاً تایپ شده: معناشناسی زنجیره ای مارکوف ، رفتار اتمام و معانی معنایی

[ad_1]

این کتاب رویکرد اساسی به معناشناسی برنامه نویسی احتمالی دارد. این معناشناسی قوی زنجیره ای مارکوف را برای محاسبات احتمالی نوع لامبدا ایجاد می کند ، که حساب تایپ شده لامبدا با بازگشت به همراه گزینه احتمالی است. این کتاب با جمع بندی ابزارهای اساسی ریاضی مورد نیاز کل کتاب ، به ویژه زنجیره های مارکوف ، نظریه نمودارها و نظریه دامنه آغاز می شود و موضوع تعاریف استقرایی را بررسی می کند. سپس نحو را تعریف می کند و معانی معنای زنجیره مارکوف حساب احتمالی لامبدا و علاوه بر این ، معناشناسی هر دو نمودار و درخت را تعیین می کند. بر این اساس ، او رفتار خاتمه برنامه های احتمالی را بررسی می کند. این مفاهیم درجه تکمیل ، تکمیل محدود و توقف مسیر را معرفی می کند و روابط آنها را بررسی می کند. سرانجام ، این معناشناسی معنایی را برای حساب احتمالی لامبدا بر اساس توابع مداوم بر توزیع احتمال به عنوان دامنه تعریف می کند. این کار در درجه اول محققان علوم رایانه نظری متخصص در برنامه نویسی احتمالی ، الگوریتم های تصادفی یا نظریه زبان برنامه نویسی را جذب می کند.

[ad_2]

read more