دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A shorter model theory
دانلود کتاب نظریه مدل کوتاهتر
مشخصات کتاب
A shorter model theory
ویرایش: 1
نویسندگان: Wilfrid Hodges
سری:
ISBN (شابک) : 0521587131, 9780521587136
ناشر: Cambridge University Press
سال نشر: 1997
تعداد صفحات: 322
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب A shorter model theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه مدل کوتاهتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه مدل کوتاهتر
این یک کتاب درسی به‌روز نظریه مدل است که خواننده را از اولین تعاریف به قضیه مورلی و بخش‌های ابتدایی نظریه ثبات می‌برد. علاوه بر نتایج استاندارد مانند قضایای فشردگی و حذف انواع، همچنین پیوندهای مختلفی را با جبر توصیف می‌کند، از جمله روش اسکلم تارسکی برای حذف کمیت، کامل بودن مدل، گروه‌های خودمورفیسم و طبقه‌بندی امگا، فرامحصولات، حداقل O و ساختارهای مورلی محدود. رتبه مطالب مربوط به هم ارزی های رفت و برگشتی، تفاسیر و قوانین صفر و یک می تواند به عنوان مقدمه ای برای کاربردهای نظریه مدل در علوم کامپیوتر باشد. هر فصل با توضیح مختصری در مورد ادبیات و پیشنهادات برای مطالعه بیشتر به پایان می رسد. این کتاب برای دانشجویان فارغ التحصیل با علاقه به نظریه مدل مفید خواهد بود
توضیحاتی درمورد کتاب به خارجی
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. This book will benefit graduate students with an interest in model theory
نظرات کاربران
کتاب های تصادفی
