آشنایی با منطق ریاضی اندرتون

برای مشاهده قیمت و خرید کتاب آشنایی با منطق ریاضی اثر هربرت بی اندر تون، ترجمه غلامرضا برادران خسروشاهی و محمد رجبی طرخورانی انتشارات مرکز نشر دانشگاهی، در این نوشته با کتابسرای افشین همراه باشید.

کتاب آشنایی با منطق ریاضی اثر هربرت بی اندرتون

ترجمه: غلامرضا برادران خسروشاهی و محمد رجبی طرخورانی

انتشارات مرکز نشر دانشگاهی

فهرست

فصل اول : آگاهی هایی مفید درباره مجموعه ها

*منطق جمله‌ها

*تذکرات غیر صوری درباره زبان های صوری

*زبان منطقه جمله ها

استقرار و بازگشت

*ارزش دهی یگانه خوانی

*رابط های جمله‌ای

*مدار راهگزین

*فشردگی و تصمیم پذیری

فصل دوم: منطق مرتبه اول

*توضیحات مقدماتی

*زبان های مرتبه اول

*صدق و مدل

*یگانه خوانی

*یک حساب استنتاجی

*قضایای درستی و تمامیت

*مدلهای نظریه‌ها

*تعبیرات بیمه نظریه‌ها

فصل سوم: تصمیم ناپذیری

*نظریه اعداد

*اعداد طبیعی همراه با تالی

*تحدیدهای دیگری از نظریه اعداد

*زیر نظریه ای از نظریه اعداد

*حسابی سازی نحو

*ناتمامیت و تصمیم ناپذیری

*کاربرد ها در نظریه مجموعه ها

*نمایش تابع نمایی

*توابع بازگشتی

فصل چهارم: منطق مرتبه دوم

*زبان‌های مرتبه دوم

*توابع اسکولم

*منطق چند گونه

*ساختهای عام

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

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

مخاطبین این اثر  کسانی هستند که قبلاً منطق نخواند است اما تجربیات چندی در استدلال ریاضی دارند. در این کتاب علاوه بر متن و مثال های متنوع و جامع که یادگیری را تسهیل می بخشد. کتاب حاضر دارای ۱۵۰ تمرین باشد که در پایان هر بخش آمده است تا بتواند سیر یادگیری را هموار و کامل‌تر کند.

کتاب آشنایی با منطق ریاضی اندرتون (مرکز نشر دانشگاهی)