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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Basic model theory

دانلود کتاب نظریه مدل پایه

مشخصات کتاب

Basic model theory

دسته بندی: منطق
ویرایش:  
نویسندگان: Doets K.  
سری: Studies in Logic, Language, and Information 
ISBN (شابک) : 157586049X 
ناشر: FoLLI, CSLI Publications 
سال نشر: 1996 
تعداد صفحات: 142 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1,008 کیلوبایت

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

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

در صورت تبدیل فایل کتاب Basic model theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب نظریه مدل پایه

نظریه مدل به بررسی روابط بین ساختارهای ریاضی («مدل‌ها») از یک سو و زبان‌های رسمی (که در آن گزاره‌هایی درباره این ساختارها می‌توان فرمول‌بندی می‌شود) از سوی دیگر می‌پردازد. ساختارهای مثال عبارتند از: اعداد طبیعی با عملیات حسابی معمول، ساختارهای آشنا از جبر، مجموعه‌های مرتب و غیره. تأکید بر زبان‌های مرتبه اول است که نظریه مدل آن بیشتر شناخته شده است. یک نتیجه مثال قضیه لوونهایم (قدیمی ترین قضیه در این زمینه) است: یک جمله مرتبه اول درست در مورد برخی ساختارهای غیرقابل شمارش باید در ساختارهای قابل شمارش نیز وجود داشته باشد. همچنین به زبان های درجه دوم و چند قطعه از آنها پرداخته می شود. همانطور که عنوان نشان می دهد، این کتاب خواننده را با آنچه در نظریه مدل پایه است آشنا می کند. ویژگی خاص آن استفاده از بازی Ehrenfeucht است که خواننده با دنیای مدل ها آشنا می شود.

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

Model theory investigates the relationships between mathematical structures ('models') on the one hand and formal languages (in which statements about these structures can be formulated) on the other. Example structures are: the natural numbers with the usual arithmetical operations, the structures familiar from algebra, ordered sets, etc. The emphasis is on first-order languages, the model theory of which is best known. An example result is LГ¶wenheim's theorem (the oldest in the field): a first-order sentence true of some uncountable structure must hold in some countable structure as well. Second-order languages and several of their fragments are dealt with as well. As the title indicates, this book introduces the reader to what is basic in model theory. A special feature is its use of the Ehrenfeucht game by which the reader is familiarised with the world of models