دانلود کتاب Combinators,lambda-terms and proof theory
دسته: ترکیبی
کتاب ترکیب‌کننده‌ها، اصطلاحات لامبدا و نظریه اثبات نسخه زبان اصلی
دانلود کتاب ترکیب‌کننده‌ها، اصطلاحات لامبدا و نظریه اثبات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Combinators,lambda-terms and proof theory
نام کتاب : Combinators,lambda-terms and proof theory
عنوان ترجمه شده به فارسی : ترکیب‌کننده‌ها، اصطلاحات لامبدا و نظریه اثبات
سری : Synthese Library
نویسندگان : Soren Stenlund
ناشر : D Reidel
سال نشر : 1972
تعداد صفحات : 187
ISBN (شابک) : 9027703051 , 9789027703057
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
هدف این مونوگراف ارائه برخی از ایده ها و نتایج اساسی در منطق ترکیبی محض و کاربرد آنها در برخی موضوعات در نظریه اثبات و نیز ارائه برخی از آثار خودم است. برخی از مطالب فصل 1 و 3 قبلاً در یادداشت های من در مقدمه ای بر منطق ترکیبی آمده است. در اینجا به شکل اصلاح شده ظاهر می شود زیرا ارائه در یادداشت های من از چندین جنبه نادرست است.
توضیحاتی در مورد کتاب به زبان اصلی :
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory Logic. It appears here in revised form since the presentation in my notes is inaccurate in several respects.