دانلود کتاب Proof Theory. An Introduction
49,000 تومان
نظریه اثبات. یک مقدمه
| موضوع اصلی | سخنرانی ها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 219 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540518428,9783540518426 |
| نوبت چاپ | LNM1407، Springer |
| نویسنده | Pohlers, Wolfram Pohlers |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1989 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نظریه اثبات. یک مقدمه
اگرچه این متن مقدماتی در نظریه اثبات است، بیشتر مطالب آن به صورت یکپارچه در جای دیگری در ادبیات یافت نمی شود، مگر در سطح بسیار پیشرفته. قلب این کتاب، تجزیه و تحلیل ترتیبی سیستم های بدیهی است، با تأکید ویژه بر نظریه تضعیف کننده تعاریف استقرایی ابتدایی در مورد اعداد طبیعی. پیامدهای “سازنده” تحلیل ترتیبی در پایان نامه ترسیم شده است. این کتاب با فرض عدم دانش قبلی از نظریه اثبات و تقریباً هیچ یک از منطق، یک درمان مستقل ارائه میکند. علاوه بر این، نویسنده تلاش کرده است از «زبان کابال» نظریه اثبات استفاده نکند، بلکه فقط از زبانی که برای اکثر خوانندگان آشنا است استفاده کند.
Proof Theory. An Introduction
Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The “constructive” consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the “cabal language” of proof theory, but only a language familiar to most readers.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.