کتاب صوتی بنیان‌های منطقی ریاضیات: رویکرد فرگه

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره بنیان‌های منطقی ریاضیات: رویکرد فرگه

موضوع کلی: منطق ریاضی

موضوع میانی: مبانی فلسفی ریاضیات

📋 سرفصل‌های دوره

• 1. مقدمه‌ای بر منطق ریاضی
• 2. تاریخچه منطق ریاضی
• 3. مجموعه‌ها و عملیات روی آن‌ها
• 4. نسبت‌ها و توابع
• 5. استدلال استقرایی و استدلال قیاسی
• 6. جداول صدق و عملگرهای منطقی
• 7. منطق گزاره‌ای و قضیه‌های اساسی آن
• 8. اثبات قضیه‌ها در منطق گزاره‌ای
• 9. منطق محمول‌ها: نمادگذاری و تفسیر
• 10. کمیت‌کننده‌ها و روابط
• 11. استدلال در منطق محمول‌ها
• 12. قواعد استنتاج در منطق محمول‌ها
• 13. مبانی نظریه مجموعه‌ها
• 14. اصل انتخاب و پیامدهای آن
• 15. مجموعه‌های نامتناهی و شمارش‌پذیری
• 16. مجموعه‌های مرتب و اصل خوش‌ترتیبی
• 17. عددها و اصول پئانو
• 18. استقرا ریاضیاتی
• 19. توابع بازگشتی
• 20. مقدمه‌ای بر نظریه اثبات
• 21. قضیه کامل بودن گودل
• 22. قضیه ناکاملی گودل
• 23. مفاهیم اساسی در نظریه مدل‌ها
• 24. زبان‌های منطقی مرتبه اول
• 25. ساختارها و تفسیرها
• 26. صحت و مدل‌های یک فرمول
• 27. قضیه فشرده‌سازی
• 28. نظریه مدل‌ها و نظریه مجموعه‌ها
• 29. مقدمه‌ای بر منطق موجهات
• 30. عملگرهای موجهاتی
• 31. اصول استنتاج در منطق موجهات
• 32. منطق زمانی
• 33. عملگرهای زمانی
• 34. ارتباط منطق زمانی با علوم کامپیوتر
• 35. منطق فازی
• 36. مجموعه‌های فازی و توابع عضویت
• 37. قواعد استنتاج در منطق فازی
• 38. کاربردهای منطق فازی
• 39. مقدمه‌ای بر منطق‌های غیرکلاسیک
• 40. منطق‌های چندارزشی
• 41. منطق‌های مرتبط
• 42. منطق‌های موازی
• 43. مبانی منطقی نظریه گراف
• 44. منطق و نظریه بازی‌ها
• 45. منطق و هوش مصنوعی
• 46. منطق و علوم کامپیوتر نظری
• 47. مقدمه‌ای بر منطق ریاضی و نظریه محاسبات
• 48. منطق مرتبه بالاتر
• 49. منطق نوعی
• 50. مقدمه‌ای بر منطق صوری
• 51. مفاهیم اساسی در منطق ریاضی برای ریاضیدانان
• 52. کاربردهای منطق ریاضی در جبر
• 53. کاربردهای منطق ریاضی در آنالیز ریاضی
• 54. کاربردهای منطق ریاضی در توپولوژی
• 55. کاربردهای منطق ریاضی در هندسه
• 56. مقدمه‌ای بر منطق ریاضی و فلسفه
• 57. مفاهیم منطقی و فلسفه زبان
• 58. منطق و معرفت‌شناسی
• 59. منطق و متافیزیک
• 60. مفاهیم اساسی در منطق ریاضی و نظریه اطلاعات
• 61. منطق و نظریه رمزنگاری
• 62. مقدمه‌ای بر منطق ریاضی و زبان‌های برنامه‌نویسی
• 63. منطق و طراحی کامپایلرها
• 64. منطق و اعتبارسنجی نرم‌افزار
• 65. مفاهیم اساسی در منطق ریاضی و سیستم‌های توزیع‌شده
• 66. مقدمه‌ای بر منطق ریاضی و نظریه کنترل
• 67. منطق و رباتیک
• 68. منطق و پردازش تصویر
• 69. مبانی ریاضیاتی منطق ریاضی
• 70. قضیه‌های اساسی در منطق ریاضی
• 71. مسائل حل‌نشده در منطق ریاضی
• 72. آینده منطق ریاضی
• 73. تأثیر فرگه بر منطق ریاضی
• 74. تحلیل انتقادی کتاب "بنیان‌های منطقی ریاضیات: رویکرد فرگه"