دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical logic and model theory: a brief introduction
دانلود کتاب منطق ریاضی و نظریه مدل: مقدمه ای کوتاه
مشخصات کتاب
Mathematical logic and model theory: a brief introduction
ویرایش: نویسندگان: Prestel. Alexander, Delzell. Charles N سری: Universitext ISBN (شابک) : 9781447121756, 1447121767 ناشر: Springer سال نشر: 2011 تعداد صفحات: 198 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب منطق ریاضی و نظریه مدل: مقدمه ای کوتاه: علوم کامپیوتر، ریاضیات، ریاضیات منطق، نظریه مدل، منطق، نمادین و ریاضی، نظریه مدل
در صورت تبدیل فایل کتاب Mathematical logic and model theory: a brief introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ریاضی و نظریه مدل: مقدمه ای کوتاه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ریاضی و نظریه مدل: مقدمه ای کوتاه
منطق ریاضی و نظریه مدل: یک مقدمه کوتاه مقدمه ای ساده و در عین حال آسان برای منطق ریاضی و نظریه مدل پایه ارائه می دهد. این به شیوه ای مستقل، جنبه های اساسی نظریه مدل را که برای درک جبر نظری مدل لازم است، ارائه می کند. به عنوان یک کاربرد عمیق از نظریه مدل در جبر، بخش آخر این کتاب اثبات کاملی از کار آکس و کوشن در مورد حدس آرتین در مورد ویژگی‌های دیوفانتین فیلدهای عددی p-adic ایجاد می‌کند. ویژگی ساختارها و نتایج نظری مدل به طور قابل توجهی با آنچه که معمولاً در جبر یافت می شود، با استفاده از فرمول ها به عنوان اشیاء ریاضی متفاوت است. بنابراین ضروری است که ابتدا با مسائل و روش های منطق ریاضی آشنا شویم. بنابراین، متن به سه بخش تقسیم می شود: مقدمه ای بر منطق ریاضی (فصل 1)، نظریه مدل (فصل های 2 و 3)، و بررسی نظری مدل چندین نظریه جبری (فصل 4). این کتاب برای دانشجویان پیشرفته در مقطع کارشناسی و کارشناسی ارشد که در حال مطالعه نظریه مدل و کاربردهای آن در جبر هستند، جالب خواهد بود. همچنین ممکن است برای خودآموزی استفاده شود.
توضیحاتی درمورد کتاب به خارجی
Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. As a profound application of model theory in algebra, the last part of this book develops a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields. The character of model theoretic constructions and results differ quite significantly from that commonly found in algebra, by the treatment of formulae as mathematical objects. It is therefore indispensable to first become familiar with the problems and methods of mathematical logic. Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic treatment of several algebraic theories (Chapter 4). This book will be of interest to both advanced undergraduate and graduate students studying model theory and its applications to algebra. It may also be used for self-study.
فهرست مطالب
Front Matter....Pages I-X
Introduction....Pages 1-4
First-Order Logic....Pages 5-60
Model Constructions....Pages 61-99
Properties of Model Classes....Pages 101-127
Model Theory of Several Algebraic Theories....Pages 129-170
Back Matter....Pages 171-193
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Arab Center: The Promise of Moderation
دانلود کتاب Écoloc - Gérer l’économie localement en Afrique - Evaluation et prospective / Etudes L’économie locale de Bondoukou - Synthèse.
دانلود کتاب The Baghdadi Jews in India: Maintaining Communities, Negotiating Identities and Creating Super-Diversity
دانلود کتاب How To Think About Homeland Security: Risk, Threats, And The New Normal
