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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Introduction to Mathematical Logic

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

مشخصات کتاب

Introduction to Mathematical Logic

دسته بندی: منطق
ویرایش: 5 
نویسندگان: Mendelson. Elliott  
سری: Discrete Mathematics and Its Applications 
ISBN (شابک) : 1584888768, 9781584888765 
ناشر: Chapman and Hall/CRC 
سال نشر: 2010 
تعداد صفحات: 496 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

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

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

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

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

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

جدید در نسخه پنجم

بخش جدیدی که ایده ها و نتایج اساسی در مورد مدل های غیر استاندارد نظریه اعداد را پوشش می دهد
یک پیوست دوم که منطق گزاره ای مدال را معرفی می کند
یک کتابشناسی گسترده
تمرین های اضافی و پاسخ‌های انتخاب شده

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

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

Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.

New to the Fifth Edition

A new section covering basic ideas and results about nonstandard models of number theory
A second appendix that introduces modal propositional logic
An expanded bibliography
Additional exercises and selected answers

This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking, it offers enough material for either a one- or two-semester course on mathematical logic.

فهرست مطالب

Content: Chapter 1 The Propositional Calculus --
chapter 2 First-Order Logic and Model Theory --
chapter 3 Formal Number Theory --
chapter 4 Axiomatic Set Theory --
chapter 5 Computability.