کتاب روش های منطقی هنر تفکر انتزاعی و ریاضی

کتاب روش های منطقی هنر تفکر انتزاعی و ریاضی نوشته راجر آنتونسون با ترجمه مهدی نجفی خواه توسط انتشارات فن آوری نوین با موضوع ریاضیات دانشگاهی به چاپ رسیده است.

کتاب روش‌های منطقی (Logical Methods) مقدمه‌ای بر تفکر ریاضیاتی برای دانشجویان مبتدی دانشگاه یا کالج را ارائه و پایه‌ی بسیار قوی و محکمی برای مطالعات گسترده‌تر و ادامه‌ی تحصیلات در رشته‌های ریاضیات و علوم کامپیوتر را فراهم می‌کند.

معرفی مباحث کتاب روش های منطقی هنر تفکر انتزاعی و ریاضی

1. هنر تفکر انتزاعی و ریاضی
2. نظریه مقدماتی مجموعه‌ها
3. منطق گزاره‌ها
4. معنی‌شناسی برای منطق گزاره‌ها
5. مفاهیمی از منطق گزاره‌ها
6. برهان، حدس و مثال نقض
7. رابطه
8. تابع
9. آشنایی بیشتر با نظریه‌ی مجموعه‌ها
10. بستار و مجموعه‌ی استقرایی
11. توابع بازگشتی
12. استقراء ریاضی
13. استقراء ساختاری
14. زبان مرتبه اول
15. نمایش عبارت‌های سوری
16. تفسیر در مدل‌ها
17. استدلال در مورد مدل‌ها
18. و...