ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Foundations of Mathematics

دانلود کتاب مبانی ریاضیات

The Foundations of Mathematics

مشخصات کتاب

The Foundations of Mathematics

دسته بندی: منطق
ویرایش: Rev.ed. 
نویسندگان:   
سری: Studies in Logic: Mathematical Logic and Foundations 19 
ISBN (شابک) : 1904987141, 9781904987147 
ناشر: College Publications 
سال نشر: 2012 
تعداد صفحات: 262 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


در صورت تبدیل فایل کتاب The Foundations of Mathematics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مبانی ریاضیات

منطق ریاضی از پرسش های فلسفی مربوط به مبانی ریاضیات نشأت گرفت، اما منطق اکنون از ریشه های فلسفی خود فراتر رفته و به طور کلی به بخشی جدایی ناپذیر از ریاضیات تبدیل شده است. این کتاب برای دانش آموزانی که قصد دارند در منطق تخصص داشته باشند و همچنین برای کسانی که علاقه مند به کاربردهای منطق در سایر زمینه های ریاضی هستند طراحی شده است. به عنوان یک متن استفاده می شود، می تواند پایه و اساس یک دوره تحصیلات تکمیلی آغازین باشد. سه فصل اصلی وجود دارد: نظریه مجموعه ها، نظریه مدل و نظریه بازگشت. فصل تئوری مجموعه‌ها مبانی نظری مجموعه‌ها را در تمامی ریاضیات بر اساس بدیهیات ZFC شرح می‌دهد. همچنین نتایج فنی در مورد اصل انتخاب، نظم‌دهی خوب و نظریه کاردینال‌های غیرقابل شمارش را پوشش می‌دهد. فصل نظریه مدل، منطق محمول و برهان های صوری را مورد بحث قرار می دهد، و کامل بودن، فشردگی، و قضایای لوونهایم-اسکولم، مدل های فرعی ابتدایی، کامل بودن مدل، و کاربردهای جبر را پوشش می دهد. این فصل همچنین مباحث اساسی آغاز شده در فصل نظریه مجموعه ها را ادامه می دهد. اکنون می توان ریاضیات را به عنوان اثبات رسمی از ZFC مشاهده کرد. همچنین، نظریه مدل منجر به مدل‌هایی از نظریه مجموعه‌ها می‌شود. این شامل بحث مطلق بودن، و تحلیل مدل هایی مانند H(κ) و R(γ) است. فصل تئوری بازگشت برخی از حقایق اساسی در مورد توابع قابل محاسبه را توسعه می دهد و از آنها برای اثبات تعدادی از نتایج با اهمیت اساسی استفاده می کند. به ویژه، قضیه چرچ در مورد غیرقابل تصمیم گیری نتیجه منطقی، قضایای ناقص بودن گودل، و قضیه تارسکی در مورد غیرقابل تعریف بودن صدق.


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

Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to specialize in logic, as well as for those who are interested in the applications of logic to other areas of mathematics. Used as a text, it could form the basis of a beginning graduate-level course. There are three main chapters: Set Theory, Model Theory, and Recursion Theory. The Set Theory chapter describes the set-theoretic foundations of all of mathematics, based on the ZFC axioms. It also covers technical results about the Axiom of Choice, well-orderings, and the theory of uncountable cardinals. The Model Theory chapter discusses predicate logic and formal proofs, and covers the Completeness, Compactness, and Löwenheim-Skolem Theorems, elementary submodels, model completeness, and applications to algebra. This chapter also continues the foundational issues begun in the set theory chapter. Mathematics can now be viewed as formal proofs from ZFC. Also, model theory leads to models of set theory. This includes a discussion of absoluteness, and an analysis of models such as H(κ) and R(γ). The Recursion Theory chapter develops some basic facts about computable functions, and uses them to prove a number of results of foundational importance; in particular, Church's theorem on the undecidability of logical consequence, the incompleteness theorems of Gödel, and Tarski's theorem on the non-definability of truth



فهرست مطالب

Cover......Page cover_1.djvu
Front Matter......Page _005.djvu
Contents......Page _006.djvu
Preface......Page _008.djvu
0 Introduction ......Page 001.djvu
1 Set Theory ......Page 009.djvu
2 Model Theory and Proof Theory ......Page 086.djvu
3 The Philosophy of Mathematics......Page 186.djvu
4 Recursion Theory......Page 195.djvu
Bibliography......Page 245.djvu
Back Cover......Page cover_2.djvu




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

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