دانلود کتاب An introduction to lambda calculus
کتاب مقدمه ای بر حساب لامبدا نسخه زبان اصلی
دانلود کتاب مقدمه ای بر حساب لامبدا بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب An introduction to lambda calculus
نام کتاب : An introduction to lambda calculus
عنوان ترجمه شده به فارسی : مقدمه ای بر حساب لامبدا
سری :
نویسندگان : Barendregt & Barendsen
ناشر : Learning Press
سال نشر : 2012.
تعداد صفحات : 55
ISBN (شابک) : 9788132317036 , 9781280249877
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 542 کیلوبایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مقدمه ای جامع برای حساب لامبدا ارائه می دهد.
فهرست مطالب :
Contents......Page 5
1. Introduction......Page 7
Free and bound variables......Page 9
Reduction and functional programming......Page 8
Functions of more arguments......Page 10
2. Conversion......Page 11
3. The Power of Lambda......Page 19
4. Reduction......Page 25
5. Type Assignment......Page 35
The system λ->Curry......Page 36
Properties of λ->......Page 38
Decidability of type assignment......Page 40
Polymorphism......Page 41
6. Extensions......Page 43
Recursive programming schemes......Page 49
Term rewrite systems......Page 50
Combinatory reduction systems......Page 51
Bibliography......Page 53
توضیحاتی در مورد کتاب به زبان اصلی :
This book provides a comprehensive introduction to Lambda Calculus.
پست ها تصادفی