برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Abstract Computing Machines: A Lambda Calculus Perspective

دانلود کتاب چکیده ماشین های محاسباتی: چشم انداز حسابداری لامبدا

مشخصات کتاب

Abstract Computing Machines: A Lambda Calculus Perspective

دسته بندی: منطق
ویرایش:  
نویسندگان: Werner Kluge  
سری: Texts in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 3540211462, 9783540211464 
ناشر: Springer 
سال نشر: 2005 
تعداد صفحات: 399 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 40,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 17

در صورت تبدیل فایل کتاب Abstract Computing Machines: A Lambda Calculus Perspective به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب چکیده ماشین های محاسباتی: چشم انداز حسابداری لامبدا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب چکیده ماشین های محاسباتی: چشم انداز حسابداری لامبدا

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

توضیحاتی درمورد کتاب به خارجی

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.

فهرست مطالب

Introduction....Pages 1-9
Algorithms and Programs....Pages 11-35
An Algorithmic Language....Pages 37-49
The λ-Calculus....Pages 51-88
The se(m)cd Machine and Others....Pages 89-111
Toward Full-Fledged λ-Calculus Machines....Pages 113-147
Interpreted Head-Order Graph Reduction....Pages 149-169
The B -Machine....Pages 171-191
The G -Machine....Pages 193-213
The π- red Machinery....Pages 215-252
Pattern Matching....Pages 253-269
Another Functional Abstract Machine....Pages 271-287
Imperative Abstract Machines....Pages 289-319
Real Computing Machines....Pages 321-346