مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب منطق ریاضی و نظریه مدل: مقدمه ای کوتاه: علوم کامپیوتر، ریاضیات، ریاضیات منطق، نظریه مدل، منطق، نمادین و ریاضی، نظریه مدل

در صورت تبدیل فایل کتاب 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

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

کتاب های تصادفی

دانلود کتاب Organic Light-Emitting Materials and Devices (Optical Science and Engineering Series)

دانلود کتاب Two Centuries of Compensation for U.S. Production Workers in Manufacturing

دانلود کتاب Die Krankheiten der Luftwege und der Mundhöhle: Dritter Teil Akute und Chronische Entƶündungen der Mundhöhle, des Rachens, Kehlkopfs, der Luft - Röhre und der Bronchien · Verletƶungen Fremdkörper · Verengerungen

دانلود کتاب Nearing Mathematical methods (free web version, wide screen

دانلود کتاب Arztrecht: Praxishandbuch für Mediziner