کتاب Mathematical Logic: Exercises and Solutions اثر Laszlo Csirmaz AND Zalán Gyenis انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
این کتاب مجموعه‌ای رنگارنگ از مسائل منطق ریاضی کلاسیک را گرد هم می‌آورد که از بیش از 30 سال تدریس انتخاب شده‌اند. فصل‌های اولیه با مسائل مربوط به زمینه‌های پشتیبانی، مانند نظریه مجموعه‌ها (ساختارهای اولترافیلتر)، نظریه بازی با اطلاعات کامل (استراتژی‌ها)، خودکارها، و نظریه بازگشت (تصمیم‌پذیری، قضایای کلین) شروع می‌شوند. سپس کار به سمت منطق گزاره ای (فشردگی و کامل بودن، روش تفکیک) پیش می رود، به دنبال آن منطق مرتبه اول، از جمله حذف کمیت و بازی Ehrenfeucht– Fraïssé. فرامحصولات؛ و مثال هایی برای بدیهی سازی و غیر بدیهی سازی. بخش حساب شامل نظریه رابینسون، سیستم بدیهیات پیانو و قضایای ناتمامی گودل می شود. در نهایت، کتاب نمودارهای جهانی، مسابقات و قانون صفر و یک در منطق ریاضی را لمس می کند.
مربیانی که منطق ریاضی را تدریس می کنند و همچنین دانش آموزانی که می خواهند مفاهیم و روش های آن را درک کنند، می توانند از این کار بسیار بهره مند شوند. سبک و موضوعات به طور ویژه انتخاب شده اند تا خوانندگان علاقه مند به محتوا و روش ریاضی بتوانند مسائل را دنبال کرده و خود قضایای اصلی از جمله قضایای معروف کامل بودن و ناقص بودن گودل را اثبات کنند. نمونه‌هایی از کاربردها در زمینه بدیهی‌پذیری و تصمیم‌پذیری نظریه‌های ریاضی متعدد این حجم را غنی می‌کنند.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
Laszlo Csirmaz AND Zalán Gyenis
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
327
