نرم افزار: سیستم ها: محاسبات علمی

حساب لامبدا و ترکیب‌کننده‌ها، مقدمه

Lambda-calculus and combinators, an introduction

دانلود کتاب Lambda-calculus and combinators, an introduction (به فارسی: حساب لامبدا و ترکیب‌کننده‌ها، مقدمه) نوشته شده توسط «J. Roger Hindley – Jonathan P. Seldin»

اطلاعات کتاب حساب لامبدا و ترکیب‌کننده‌ها، مقدمه

موضوع اصلی: ریاضیات

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

ناشر: Cambridge University Press

نویسنده: J. Roger Hindley – Jonathan P. Seldin

زبان: english

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

سال انتشار: 2008

تعداد صفحه: 359

حجم فایل: 1.50 مگابایت

کد کتاب: 0521898854 , 9780521898850

توضیحات کتاب حساب لامبدا و ترکیب‌کننده‌ها، مقدمه

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

Combinatory logic and lambda-calculus, originally devised in the 1920’s, have since developed into linguistic tools, especially useful in programming languages. The authors’ previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.

دانلود کتاب «حساب لامبدا و ترکیب‌کننده‌ها، مقدمه»

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

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

برچسب ها

دیدگاهتان را بنویسید

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