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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

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

مشخصات کتاب

A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

دسته بندی: منطق
ویرایش: 1 
نویسندگان: Bruno Poizat  
سری: Universitext 
ISBN (شابک) : 0387986553, 9780387986555 
ناشر: Springer 
سال نشر: 2000 
تعداد صفحات: 476 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 35 مگابایت

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

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

در صورت تبدیل فایل کتاب A Course in Model Theory: An Introduction to Contemporary Mathematical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

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

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

Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the essentials, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. It also introduces logic via the study of the models of arithmetic, and it gives complete but accessible exposition of stability theory.

فهرست مطالب


 Content: 1 Elementary Classes of Relations.- The Language Associated with a Relation.- 3 Extensions of the Language: Structures.- 4 Compactness.- 5 The Back-and-Forth Method in ?-Saturated Models.- 6 Examples Illustrating the Back-and-Forth Method.- 7 Arithmetic.- 8 Ordinals and Cardinals.- 9 Saturated Models.- 10 Prime Models.- 11 Heirs.- 12 Special Sons, Morley Sequences.- 13 The Fundamental Order.- 14 Stability and Saturated Models.- 15 Forking.- 16 Strong Types.- 17 Notions of Rank.- 18 Stability and Prime Models.- 19 Stability, Indiscernible Sequences and Weights.- 20 Dimension in Models of a Totally Transcendental Theory.- Index of Notation.