خرید و دانلود طرح معرق گوزن و سورتمه
قیمت اصلی 91,000 تومان بود.51,000 تومانقیمت فعلی 51,000 تومان است.
خرید و دانلود طرح معرق شیر خشمگین
قیمت اصلی 93,000 تومان بود.53,000 تومانقیمت فعلی 53,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
-36%
خرید و دانلود نسخه کامل کتاب Combinators,lambda-terms and proof theory
قیمت اصلی 87,000 تومان بود.56,000 تومانقیمت فعلی 56,000 تومان است.
تعداد فروش: 74
| عنوان فارسی |
ترکیبیات، اصطلاحات لامبدا و نظریه اثبات |
|---|---|
| عنوان اصلی | Combinators,lambda-terms and proof theory |
| ناشر | D Reidel |
| نویسنده | Soren Stenlund |
| ISBN | 9027703051, 9789027703057 |
| سال نشر | 1972 |
| زبان | English |
| تعداد صفحات | 187 |
| دسته | ترکیبی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 1 مگابایت |
1
آیتم آخرین فروخته شده 55 دقیقه
4
افرادی که اکنون این محصول را تماشا می کنند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
هدف این مونوگراف ارائه برخی از ایده ها و نتایج اساسی در منطق ترکیبی محض و کاربرد آنها در برخی موضوعات در نظریه اثبات و همچنین ارائه برخی از آثار خودم است. برخی از مطالب فصل 1 و 3 قبلاً در یادداشت های من در مقدمه ای بر منطق ترکیبی آمده است. در اینجا به شکل اصلاح شده ظاهر می شود زیرا ارائه در یادداشت های من از چندین جنبه نادرست است.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.