دانلود کتاب Type theory & functional programming
49,000 تومان
تئوری نوع و برنامه نویسی تابعی
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Addison-Wesley |
| تعداد صفحه | 378 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 9780201416671,0201416670 |
| نویسنده | Simon Thompson |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1991 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تئوری نوع و برنامه نویسی تابعی
این کتاب به بررسی نقش نظریه نوع سازنده مارتین-لوف در برنامه نویسی کامپیوتر می پردازد. تمرکز اصلی کتاب این است که چگونه می توان این نظریه را با موفقیت در عمل به کار برد. بخشهای مقدماتی پیشزمینه لازم در منطق، حساب لامبدا و ریاضیات سازنده را فراهم میکنند و تمرینها و خلاصههای فصل برای تقویت درک گنجانده شدهاند.
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.