ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Model Theory

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

Model Theory

مشخصات کتاب

Model Theory

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Oxford Logic Guides 37 
ISBN (شابک) : 0198538510, 9780198538516 
ناشر: Oxford University Press, USA 
سال نشر: 1999 
تعداد صفحات: 266 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



ثبت امتیاز به این کتاب

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


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

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


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

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


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

Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications in areas such as computing, philosophy, and linguistics. Model theory's power comes from its usefulness in defining new structures and in classifying existing ones by establishing links between them. This book, suitable for both mathematicians and students from outside the field, provides a clear and readable introduction to the subject. It includes brief historically background for each major topic and consistently points out the motivations for each new development. The proofs are also explained in detail.





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