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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Beginning Model Theory: The Completeness Theorem and Some Consequences

دانلود کتاب نظریه مدل آغازین: قضیه کامل بودن و برخی پیامدها

مشخصات کتاب

Beginning Model Theory: The Completeness Theorem and Some Consequences

دسته بندی: منطق
ویرایش:  
نویسندگان: Jane Bridge  
سری: Oxford Logic Guides 01 
ISBN (شابک) : 0198531575, 9780198531579 
ناشر: Clarendon Press 
سال نشر: 1977 
تعداد صفحات: 154 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

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

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

در صورت تبدیل فایل کتاب Beginning Model Theory: The Completeness Theorem and Some Consequences به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب نظریه مدل آغازین: قضیه کامل بودن و برخی پیامدها

یکی از ویژگی‌های اساسی منطق ریاضی که آن را از سایر شاخه‌های ریاضی متمایز می‌کند، مطالعه صریح زبانی است که ریاضیات را می‌توان با آن توصیف کرد. این کتاب به‌عنوان مقدمه‌ای بر جنبه‌ای از منطق است که از یک سو به رابطه بین نظریه‌های ریاضی که به زبان رسمی توصیف شده‌اند و از سوی دیگر ساختارهای ریاضی تحقق‌دهنده آن نظریه‌ها مربوط می‌شود. این متن بر اساس مجموعه ای از سخنرانی هایی است که هر سال از سال 1970 تا 1973 در آکسفورد ارائه می شود. این دوره برای دانشجویان سال دوم کارشناسی که ریاضیات و فلسفه را می خواندند و قبلاً یک دوره منطق مقدماتی داشتند در نظر گرفته شده بود. در نتیجه، در اینجا آشنایی با برخی مفاهیم و نتایج ابتدایی را فرض می کنیم. برای مثال، خواننده در حالت ایده‌آل باید محاسبات گزاره‌ای (جمله‌ای)، شامل مفاهیم زبان گزاره‌ای، توتولوژی، و نظام رسمی بدیهیات و قواعد برای تولید همه توتولوژی‌ها را به‌عنوان قضایا مطالعه می‌کرد. آشنایی با رسمی‌سازی اظهارات مربوط به کمی‌سازها مطلوب است، اگرچه کاملاً ضروری نیست. مثال های ریاضی ارائه می شود که برای آنها آشنایی با جبر انتزاعی ابتدایی ضروری است. خلاصه ای از برخی از مفاهیم نظری مجموعه ها که در متن استفاده شده است در مقدمه آورده شده است.

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

An essential feature of mathematical logic distinguishing it from other branches of mathematics is the explicit study of the language in which mathematics may be described. This book is intended as an introduction to that aspect of logic which concerns the relationship between, on the one hand, mathematical theories, described in a formal language, and on the other, mathematical structures realizing those theories. The text is based on a series of lectures given in Oxford each year from 1970 to 1973. The course was intended for second-year undergraduates reading Mathematics and Philosophy who had already had an introductory logic course. As a consequence, we assume here familiarity with some elementary concepts and results. For instance, the reader should ideally have studied the propositional (sentential) calculus, including the notions of a propositional language, a tautology, and a formal system of axioms and rules for generating all tautologies as theorems. Acquaintance with the formalization of statements involving quantifiers is desirable though not strictly essential. Mathematical examples are given for which some familiarity with elementary abstract algebra is necessary. A summary of some set-theoretic concepts used in the text is given in the introduction.