کتاب الکترونیکی

ماشین‌های محاسباتی انتزاعی: چشم‌انداز حساب لامبدا

Abstract computing machines: a lambda calculus perspective

دانلود کتاب Abstract computing machines: a lambda calculus perspective (به فارسی: ماشین‌های محاسباتی انتزاعی: چشم‌انداز حساب لامبدا) نوشته شده توسط «Werner Kluge»

اطلاعات کتاب ماشین‌های محاسباتی انتزاعی: چشم‌انداز حساب لامبدا

موضوع اصلی: فن آوری

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Werner Kluge

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2005

تعداد صفحه: 381

حجم کتاب: 3 مگابایت

کد کتاب: 9783540211464 , 3-540-21146-2

نوبت چاپ: 1

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

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

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.

دانلود کتاب «ماشین‌های محاسباتی انتزاعی: چشم‌انداز حساب لامبدا»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان