ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Subsystems of Second Order Arithmetic

دانلود کتاب زیر سیستم های حسابی مرتبه دوم

Subsystems of Second Order Arithmetic

مشخصات کتاب

Subsystems of Second Order Arithmetic

دسته بندی: منطق
ویرایش: 2nd 
نویسندگان:   
سری: Perspectives in Logic 
ISBN (شابک) : 9780521884396, 9780511579851 
ناشر: Cambridge University Press 
سال نشر: 2009 
تعداد صفحات: 462 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Subsystems of Second Order Arithmetic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب زیر سیستم های حسابی مرتبه دوم

مبانی ریاضی مطالعه اساسی ترین مفاهیم و ساختار منطقی ریاضیات با نگاه به وحدت دانش بشری است. تقریباً تمام مسائل مورد مطالعه در این کتاب با انگیزه یک سؤال اساسی اساسی است: بدیهیات مناسب برای ریاضیات چیست؟ از طریق یک سری مطالعات موردی، این بدیهیات برای اثبات قضایای خاص در زمینه‌های اصلی ریاضی مانند جبر، تجزیه و تحلیل و توپولوژی، با تمرکز بر زبان حساب مرتبه دوم، ضعیف‌ترین زبان غنی برای بیان و توسعه بخش عمده‌ای از موارد مورد بررسی قرار می‌گیرند. ریاضیات در بسیاری از موارد، اگر یک قضیه ریاضی از بدیهیات وجود مجموعه‌ای ضعیف ثابت شود، آنگاه بدیهیات از نظر منطقی معادل قضیه خواهند بود. علاوه بر این، تنها چند بدیهیات وجود مجموعه خاص به طور مکرر در این زمینه بوجود می آیند که به نوبه خود با برنامه های پایه کلاسیک مطابقت دارند. این موضوع ریاضیات معکوس است که در نیمه اول کتاب غالب است. بخش دوم بر مدل‌های این زیرسیستم‌ها و دیگر زیرسیستم‌های حسابی مرتبه دوم تمرکز دارد. نتایج اضافی در یک پیوست ارائه شده است


توضیحاتی درمورد کتاب به خارجی

Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic. Additional results are presented in an appendix





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی