دانلود کتاب Domain-theoretic Foundations of Functional Programming
49,000 تومان
مبانی نظری دامنه برنامه نویسی تابعی
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | World Scientific Publishing Company |
| تعداد صفحه | 124 |
| حجم فایل | 1 مگابایت |
| کد کتاب | 9812701427,9789812701428 |
| نویسنده | Thomas Streicher |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مبانی نظری دامنه برنامه نویسی تابعی
این کتاب درسی پایه ای برای دوره دکتری در زمینه معناشناسی نظری دامنه زبان های برنامه نویسی تابعی و ویژگی های فرا ریاضی آنها ارائه می دهد. این نظریه پایه دامنه و تکنیک روابط منطقی را که توسط اسکات و پلوتکین توسعه داده شده است، معرفی می کند. حل معادلات دامنه بازگشتی به تفصیل توضیح داده شده است. یک بحث کامل از مسئله معروف انتزاع کامل برای PCF (یک زبان هسته عملکردی به دلیل اسکات و پلوتکین) شامل ساخت مدل کاملاً انتزاعی میلنر با استفاده از روابط منطقی کریپکی ارائه شده است. فصل آخر محاسبهپذیری را در حوزههای اسکات معرفی میکند و نشان میدهد که این مدل کاملاً انتزاعی و جهانی برای پسوندهای مناسب PCF توسط ساختارهای زبان موازی است.
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the technique of logical relations as developed by Scott and Plotkin. The solution of recursive domain equations is explained in detail. A complete discussion of the famous full abstraction problem for PCF (a functional Kernel language due to Scott and Plotkin) is given including a construction of the fully abstract Milner model using Kripke logical relations. A final chapter introduces computability in Scott domains and shows that this model is fully abstract and universal for appropriate extensions of PCF by parallel language constructs.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.