اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Multipolynomial resultant algorithms
قیمت اصلی 115,000 تومان بود.84,000 تومانقیمت فعلی 84,000 تومان است.
خرید و دانلود نسخه کامل کتاب EUROSAM 84: International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984
قیمت اصلی 133,000 تومان بود.102,000 تومانقیمت فعلی 102,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
16ساعت
11دقیقه
11ثانیه
-27%
خرید و دانلود نسخه کامل کتاب Proof Theory. An Introduction
قیمت اصلی 115,000 تومان بود.84,000 تومانقیمت فعلی 84,000 تومان است.
تعداد فروش: 64
| عنوان فارسی |
نظریه اثبات. یک مقدمه |
|---|---|
| عنوان اصلی | Proof Theory. An Introduction |
| ویرایش | LNM1407, Springer |
| ناشر | Springer |
| نویسنده | Wolfram Pohlers, Pohlers |
| ISBN | 3540518428, 9783540518426 |
| سال نشر | 1989 |
| زبان | English |
| تعداد صفحات | 219 |
| دسته | سخنرانی ها |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
3
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
اگرچه این متن مقدماتی در نظریه اثبات است، بیشتر مطالب آن به صورت یکپارچه در جای دیگری در ادبیات یافت نمی شود، مگر در سطح بسیار پیشرفته. قلب این کتاب، تجزیه و تحلیل ترتیبی سیستم های بدیهی است، با تأکید ویژه بر نظریه تضعیف کننده تعاریف استقرایی ابتدایی در مورد اعداد طبیعی. پیامدهای “سازنده” تحلیل ترتیبی در پایان نامه ترسیم شده است. این کتاب با فرض عدم دانش قبلی از نظریه اثبات و تقریباً هیچ یک از منطق، یک درمان مستقل ارائه میکند. علاوه بر این، نویسنده تلاش کرده است از «زبان کابال» نظریه اثبات استفاده نکند، بلکه فقط از زبانی که برای اکثر خوانندگان آشناست استفاده کند.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.