دانلود کتاب Abstract Computing Machines: A Lambda Calculus Perspective
49,000 تومان
ماشینهای محاسباتی انتزاعی: دیدگاه حساب دیفرانسیل و انتگرال لامبدا
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 399 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540211462,9783540211464 |
| نویسنده | 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ماشینهای محاسباتی انتزاعی: دیدگاه حساب دیفرانسیل و انتگرال لامبدا
این کتاب به راهها و روشهای سازماندهی محاسبات میپردازد، رابطه بین الگوریتمها و مکانیسمهای اساسی و ساختارهای زمان اجرا لازم برای اجرای آنها با استفاده از ماشینها را برجسته میکند. این به طور کامل از زبانهای برنامهنویسی و معماری ماشین انتزاعی میکند و به جای آن از حساب لامبدا به عنوان برنامهنویسی اصلی و مدل اجرای برنامه برای طراحی ماشینهای انتزاعی مختلف برای اجرای صحیح آن استفاده میکند.
تاکید بر نرمال سازی کامل ماشین ها بر اساس کاهش های بتا کامل به عنوان پیش نیازهای ضروری برای محاسبات نمادین است که توابع و متغیرها را واقعاً به عنوان اشیاء درجه یک در نظر می گیرند. همتاهای نرمالکننده ضعیف آنها ماشینهای انتزاعی کاربردی هستند که طعم کاهشهای کامل بتا را برای ساختارهای زمان اجرا به طور قطعی سادهتر و بازده زمان اجرا بهبود یافته قربانی میکنند. کاهش بیشتر محاسبات لامبدا منجر به ماشینهای ضروری کلاسیک میشود که اجازه عملیاتهای جانبی را در محیط زمان اجرا میدهند.
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 full-fledged beta-reductions as essential prerequisites 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 machines that permit side-effecting operations on the runtime environment.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.