مشخصات کتاب

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

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

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

دانلود کتاب The Church of the East: A Concise History

دانلود کتاب A Russian Journal

دانلود کتاب Proceedings of the 10th National Technical Seminar on Underwater System Technology 2018: NUSYS'18

دانلود کتاب Основы силовой электроники. Силовые полупроводниковые приборы

دانلود کتاب Northrop Frye: A Vision of the New World (New World perspectives)