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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Toposes and Local Set Theories: An Introduction

دانلود کتاب Toposes و نظریه های مجموعه محلی: مقدمه ای

مشخصات کتاب

Toposes and Local Set Theories: An Introduction

دسته بندی: منطق
ویرایش:  
نویسندگان: J. L. Bell  
سری: Oxford Logic Guides 14 
ISBN (شابک) : 0198532741, 9780198532743 
ناشر: Oxford University Press, USA 
سال نشر: 1988 
تعداد صفحات: 282 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب Toposes and Local Set Theories: An Introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب Toposes و نظریه های مجموعه محلی: مقدمه ای

نویسنده مفهوم لاور و تیرنی از نظریه توپوس را معرفی می کند، پیشرفتی چشمگیر در نظریه مقوله که تعدادی از مفاهیم مهم اما به ظاهر متنوع از هندسه جبری، نظریه مجموعه ها و منطق شهودی را متحد می کند. نظریه توپوس منجر به ایجاد پیوندهای شگفت انگیز جدید بین ریاضیات کلاسیک و سازنده شده است. بل توپوزها را به عنوان مدل‌های نظریه‌ها ارائه می‌کند - به اصطلاح نظریه‌های مجموعه‌های محلی - که در یک منطق شهودی تایپ‌شده صورت‌بندی شده‌اند.

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

The author introduces Lawvere and Tierney's concept of topos theory, a striking development in category theory that unites a number of important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topos theory has led to the forging of surprising new links between classical and constructive mathematics. Bell presents toposes as the models of theories--the so-called local set theories--formulated within a typed intuitionistic logic.

فهرست مطالب

Content: Part 1 Elements of category theory: including categories, functors, adjunctions, uniqueness of adjoints, Cartesian closed categories, reflective subcategories, Galois connections. Part 2 Introducing toposes: including geometric morphisms, power objects - the concept of topos. Part 3 Local set theories: including local languages and local set theories, interpreting a local language in a topos - the Soundness Theorem, the Completeness Theorem, the Equivalence Theorem, adjoining indeterminates, introduction of function values. Part 4 Fundamental properties of toposes: including slicing a topos, Beth-Kripke-Joyal semantics. Part 5 From logic to sheaves: including truth sets, modalities and universal closure operations, the Sheafification functor, modalized toposes, sheaves over locales and topological spaces. Part 6 Locale-valued sets: including the topos of sheaves over a topological space, decidable, subconstant and fuzzy sets, Boolean extensions as toposes. Part 7 Natural numbers and real numbers: including natural and real numbers in local set theories, the free topos. Part 8 Epilogue - the wider significance of topos theory: from set theory to topos theory, some analogies with the Theory of Relativity, the negation of constancy. Appendix - geometric theories and classifying toposes. Historical and bibliographical notes. References. Index of symbols. Index of terms.