کتاب Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas اثر William M. Farmer انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
این کتاب درسی منحصر به فرد، بر خلاف یک متن منطقی استاندارد، منطقی را در اختیار خواننده قرار می دهد که در عمل می تواند برای بیان و استدلال در مورد ایده های ریاضی مورد استفاده قرار گیرد.
این کتاب مقدمه ای است بر نظریه نوع ساده، نسخه کلاسیکی از منطق محمولی مرتبه بالاتر که منطق مرتبه اول را گسترش می دهد. این یک منطق عمل گرا به نام آلونزو ارائه می کند که بر اساس فرمول بندی آلونزو چرچ از نظریه نوع ساده معروف به نظریه تیپ چرچ است. برخلاف منطق های محمول سنتی، آلونزو عبارات تعریف نشده را می پذیرد. این کتاب با استفاده از آلونزو نشان می دهد که چگونه نظریه نوع ساده به طور ایده آل برای استدلال در مورد ساختارهای ریاضی و ساخت کتابخانه های دانش ریاضی مناسب است.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
William M. Farmer
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
309
