دانلود کتاب Lambda-Calculus and Combinators: An Introduction
49,000 تومان
لامبدا-حساب و ترکیبات: مقدمه
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 359 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 0521898854,9780521898850,9780511415562 |
| نوبت چاپ | 2 |
| نویسنده | J. Roger Hindley, Jonathan P. Seldin |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
لامبدا-حساب و ترکیبات: مقدمه
منطق ترکیبی و حساب لامبدا، که در ابتدا در دهه 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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.