کتاب Mathematical Logic: An Introduction اثر Daniel Cunningham انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
منطق ریاضی: مقدمه کتاب درسی است که از ابزارهای ریاضی برای بررسی خود ریاضیات استفاده می کند. به ویژه مفاهیم برهان و صدق بررسی می شود.
این کتاب مباحث اساسی در منطق ریاضی را ارائه میکند و شواهد واضح و کاملی را در سراسر متن ارائه میکند. چنین برهانی برای توسعه زبان منطق گزاره ای و زبان منطق مرتبه اول، از جمله مفهوم استنتاج صوری استفاده می شود. این متن همچنین تعریف تارسکی از حقیقت و مفهوم محاسبه پذیری را پوشش می دهد.
همچنین شواهد منسجمی از کامل بودن و ناقص بودن قضایای گودل ارائه می کند.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
Daniel Cunningham
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
270
