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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Mathematics of Logic: A Guide to Completeness Theorems and Their Applications

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

مشخصات کتاب

Mathematics of Logic: A Guide to Completeness Theorems and Their Applications

دسته بندی: ریاضیات
ویرایش:  
نویسندگان: Kaye L.  
سری:  
ISBN (شابک) : 051134273X 
ناشر: Cambridge University Press 
سال نشر: 2007 
تعداد صفحات: 217 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

در صورت تبدیل فایل کتاب Mathematics of Logic: A Guide to Completeness Theorems and Their Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

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

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

This textbook covers the key material for a typical first course in logic for undergraduates or first-year graduate students, in particular, presenting a full mathematical account of the most important result in logic: the Completeness Theorem for first-order logic. Looking at a series of interesting systems increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum; no background in formal set-theory is required; and the book contains proofs of all the required set theoretical results.The reader is taken on a journey starting with Konig's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to the Completeness and Compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and non-standard analysis.