دانلود کتاب Abstract computing machines: a lambda calculus perspective
49,000 تومان
ماشینهای محاسباتی انتزاعی: چشمانداز حساب لامبدا
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 381 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9783540211464,3540211462 |
| نوبت چاپ | 1 |
| نویسنده | Werner Kluge |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ماشینهای محاسباتی انتزاعی: چشمانداز حساب لامبدا
این کتاب به راهها و روشهای سازماندهی محاسبات میپردازد، رابطه بین الگوریتمها و مکانیسمهای اساسی و ساختارهای زمان اجرا لازم برای اجرای آنها با استفاده از ماشینها را برجسته میکند. این به طور کامل از زبانهای برنامهنویسی و معماری ماشین انتزاعی میکند و به جای آن از حساب لامبدا به عنوان برنامهنویسی اصلی و مدل اجرای برنامه برای طراحی ماشینهای انتزاعی مختلف برای اجرای صحیح آن استفاده میکند. تاکید بر نرمال سازی کامل ماشین ها بر اساس یک کاهش کامل بتا به عنوان یک پیش نیاز ضروری برای محاسبات نمادین است که توابع و متغیرها را واقعاً به عنوان اشیاء درجه یک در نظر می گیرند. همتاهای نرمالکننده ضعیف آنها ماشینهای انتزاعی کاربردی هستند که طعم کاهشهای کامل بتا را برای ساختارهای زمان اجرا به طور قطعی سادهتر و بازده زمان اجرا بهبود یافته قربانی میکنند. کاهش بیشتر محاسبات لامبدا منجر به ماشینهای ضروری کلاسیک (فون نویمان) میشود که امکان انجام عملیات جانبی را در محیط زمان اجرا فراهم میکند.
Abstract computing machines: a lambda calculus perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on a full-fledged beta-reduction as an essential prerequisite for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative (von Neumann) machines that permit side-effecting operations on the runtime environment.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.