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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Mathematical Logic: On Numbers, Sets, Structures, and Symmetry

دانلود کتاب منطق ریاضی: در مورد اعداد، مجموعه ها، ساختارها و تقارن

مشخصات کتاب

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry

دسته بندی: منطق
ویرایش:  
نویسندگان: Roman Kossak  
سری: Springer Graduate Texts in Philosophy 
ISBN (شابک) : 9783319972985 
ناشر: Springer 
سال نشر: 2018 
تعداد صفحات: 188 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

کلمات کلیدی مربوط به کتاب منطق ریاضی: در مورد اعداد، مجموعه ها، ساختارها و تقارن: منطق ریاضی

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

در صورت تبدیل فایل کتاب Mathematical Logic: On Numbers, Sets, Structures, and Symmetry به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب منطق ریاضی: در مورد اعداد، مجموعه ها، ساختارها و تقارن

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

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

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include tameness, minimality, and order minimality of structures. The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background.

فهرست مطالب

Content: First-order logic --
Logical seeing --
What is a number? --
Seeing the number structures --
Points, lines, and the structure of R --
Set theory --
Relations --
Definable elements and constants --
Minimal and order-minimal structures --
Geometry of definable sets --
Where do structures come from? --
Elementary extensions and symmetries --
Tame vs. wild --
First-order properties --
Symmetries and logical visibility one more time --
Suggestions for further reading.