مشخصات کتاب

An introduction to lambda calculus

ویرایش:  
نویسندگان: Barendregt & Barendsen  
سری:  
ISBN (شابک) : 9788132317036, 9781280249877 
ناشر: Learning Press 
سال نشر: 2012. 
تعداد صفحات: 55 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 542 کیلوبایت 

در صورت تبدیل فایل کتاب An introduction to lambda calculus به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر حساب لامبدا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

این کتاب مقدمه ای جامع برای حساب لامبدا ارائه می دهد.

توضیحاتی درمورد کتاب به خارجی

This book provides a comprehensive introduction to Lambda Calculus.

فهرست مطالب

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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Wiley s Mathematics for IIT JEE Main and Advanced Coordinate Geometry Vol 4 Maestro Series Dr. G S N Murti

دانلود کتاب Food Gels

دانلود کتاب 政权与斗争剧目

دانلود کتاب The Church and the Churches: Toward an Ecumenical Ecclesiology

دانلود کتاب Architecture of Computing Systems - ARCS 2011: 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings