برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Combinators,lambda-terms and proof theory

دانلود کتاب ترکیبیات، اصطلاحات لامبدا و نظریه اثبات

مشخصات کتاب

Combinators,lambda-terms and proof theory

دسته بندی: ترکیبی
ویرایش:  
نویسندگان: Soren Stenlund  
سری: Synthese Library 
ISBN (شابک) : 9027703051, 9789027703057 
ناشر: D Reidel 
سال نشر: 1972 
تعداد صفحات: 187 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

قیمت کتاب (تومان) : 44,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 7

در صورت تبدیل فایل کتاب Combinators,lambda-terms and proof theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب ترکیبیات، اصطلاحات لامبدا و نظریه اثبات

هدف این مونوگراف ارائه برخی از ایده ها و نتایج اساسی در منطق ترکیبی محض و کاربرد آنها در برخی موضوعات در نظریه اثبات و همچنین ارائه برخی از آثار خودم است. برخی از مطالب فصل 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.