کتاب Mathematical Logic and Computation اثر Jeremy Avigad انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
این کتاب جدید در منطق ریاضی نوشته جرمی آویگاد مقدمهای کامل بر نتایج و روشهای اساسی موضوع از دیدگاه نحوی ارائه میکند و بر منطق به عنوان مطالعه زبانها و سیستمهای رسمی و استفاده صحیح از آنها تأکید میکند. موضوعات شامل نظریه اثبات، نظریه مدل، نظریه محاسبه پذیری، و مبانی بدیهی است، با تأکید ویژه بر جنبه های منطق ریاضی که برای علوم کامپیوتر اساسی هستند، از جمله سیستم های قیاسی، منطق سازنده، حساب لامبدا با تایپ ساده، و نوع-نظری. پایه ها واضح و جذاب، با مثالها و تمرینهای فراوان، مقدمهای عالی برای این موضوع برای دانشجویان تحصیلات تکمیلی و کارشناسی ارشد که به منطق در ریاضیات، علوم کامپیوتر و فلسفه علاقهمند هستند، و مرجعی ارزشمند برای قفسه کتابهای منطقدانان حرفهای است.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
Jeremy Avigad
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
526
