دانلود کتاب Proof Theory. An Introduction (به فارسی: نظریه اثبات. یک مقدمه) نوشته شده توسط «Wolfram Pohlers – Pohlers»
اطلاعات کتاب نظریه اثبات. یک مقدمه
موضوع اصلی: سخنرانی ها
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Wolfram Pohlers – Pohlers
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1989
تعداد صفحه: 219
حجم کتاب: 2 مگابایت
کد کتاب: 3540518428 , 9783540518426
نوبت چاپ: LNM1407, Springer
توضیحات کتاب نظریه اثبات. یک مقدمه
اگرچه این متن مقدماتی در نظریه اثبات است، بیشتر مطالب آن به صورت یکپارچه در جای دیگری در ادبیات یافت نمی شود، مگر در سطح بسیار پیشرفته. قلب این کتاب، تجزیه و تحلیل ترتیبی سیستم های بدیهی است، با تأکید ویژه بر نظریه تضعیف کننده تعاریف استقرایی ابتدایی در مورد اعداد طبیعی. پیامدهای “سازنده” تحلیل ترتیبی در پایان نامه ترسیم شده است. این کتاب یک درمان مستقل ارائه می‌کند که با فرض عدم دانش قبلی از نظریه اثبات و تقریباً هیچ‌گونه منطقی وجود ندارد. علاوه بر این، نویسنده تلاش کرده است از «زبان کابال» نظریه اثبات استفاده نکند، بلکه فقط از زبانی که برای اکثر خوانندگان آشنا است استفاده کند.
دانلود کتاب «نظریه اثبات. یک مقدمه»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.