کتاب صوتی استدلال معادله‌ای در برنامه‌نویسی تابعی؛ از قوانین بازنویسی تا اثبات درستی برنامه‌ها

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

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

عنوان دوره: دوره استدلال معادله‌ای در برنامه‌نویسی تابعی؛ از قوانین بازنویسی تا اثبات درستی برنامه‌ها

موضوع کلی: برنامه‌نویسی تابعی و مهندسی نرم‌افزار

موضوع میانی: استدلال صوری و تفکر ریاضی در برنامه‌نویسی تابعی

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

• 1. مبانی تفکر تابعی و نقش استدلال در برنامه‌نویسی
• 2. مفهوم تابع در برنامه‌نویسی تابعی
• 3. تفاوت توابع خالص و توابع دارای اثر جانبی
• 4. شفافیت ارجاعی و اهمیت آن در استدلال برنامه‌ها
• 5. مفهوم برابری در برنامه‌نویسی تابعی
• 6. تفاوت برابری نحوی و برابری معنایی
• 7. استدلال معادله‌ای چیست و چرا اهمیت دارد
• 8. قوانین بنیادی استدلال معادله‌ای
• 9. بازنویسی عبارات با استفاده از معادلات
• 10. جایگزینی عبارات برابر در برنامه‌ها
• 11. قانون جانشینی و کاربرد آن در اثبات برنامه
• 12. محاسبه تابعی به‌عنوان فرایند بازنویسی
• 13. ارزیابی گام‌به‌گام عبارات تابعی
• 14. تفسیر برنامه به‌عنوان یک عبارت ریاضی
• 15. استفاده از تعریف تابع در استدلال
• 16. بازکردن تعریف تابع و ساده‌سازی عبارت
• 17. استفاده از قوانین جبری برای بازنویسی برنامه
• 18. ترکیب قوانین جبری با قوانین تابعی
• 19. اثبات برابری دو عبارت برنامه‌نویسی
• 20. ساخت زنجیره‌های استدلال معادله‌ای
• 21. تشخیص گام‌های معتبر و نامعتبر در استدلال
• 22. استدلال درباره توابع مرتبه بالاتر
• 23. استدلال درباره توابع ناشناس و Lambda
• 24. استدلال درباره ترکیب توابع
• 25. قوانین استدلال برای تابع Composition
• 26. تحلیل رفتار توابع با استدلال معادله‌ای
• 27. استدلال درباره توابع بازگشتی
• 28. بازنویسی تعاریف بازگشتی
• 29. اثبات ویژگی‌های توابع بازگشتی
• 30. استفاده از استقرا برای توابع روی داده‌های بازگشتی
• 31. استقرا ریاضی در اثبات درستی برنامه‌ها
• 32. ساختار اثبات استقرایی در برنامه‌نویسی تابعی
• 33. انتخاب فرض استقرایی مناسب
• 34. اثبات ویژگی‌های توابع روی لیست‌ها
• 35. استدلال درباره عملگرهای لیست
• 36. اثبات قوانین مرتبط با Map
• 37. استدلال درباره Filter و ویژگی‌های آن
• 38. استدلال درباره Fold و کاهش ساختارهای داده
• 39. اثبات ارتباط میان Map و Fold
• 40. استدلال درباره الحاق لیست‌ها
• 41. اثبات قوانین مربوط به طول و ساختار لیست
• 42. استدلال درباره انواع داده جبری
• 43. استدلال درباره ساختارهای داده بازگشتی
• 44. Case Analysis در استدلال برنامه‌های تابعی
• 45. Pattern Matching و نقش آن در اثبات
• 46. استدلال درباره Option و مقادیر تهی
• 47. استدلال درباره Either و نتایج محاسبات
• 48. استدلال درباره درخت‌ها و ساختارهای بازگشتی
• 49. اثبات درستی توابع پردازش درخت
• 50. استدلال درباره Invariantهای برنامه
• 51. حفظ ویژگی‌ها در طول اجرای تابع
• 52. اثبات قراردادهای رفتاری توابع
• 53. استدلال درباره تبدیل و بازنویسی برنامه‌ها
• 54. Derivation برنامه با استفاده از قوانین معادله‌ای
• 55. بهینه‌سازی برنامه با حفظ برابری معنایی
• 56. Fusion و حذف محاسبات میانی
• 57. استدلال درباره قوانین بهینه‌سازی تابعی
• 58. تشخیص شرایط مجاز برای بازنویسی
• 59. تفاوت بهینه‌سازی معتبر و تغییر نادرست رفتار
• 60. استدلال درباره Lazy Evaluation
• 61. تأثیر ترتیب ارزیابی بر استدلال برنامه
• 62. استدلال درباره توابع دارای اثر جانبی
• 63. محدودیت‌های استدلال معادله‌ای در حضور Effect
• 64. تفکیک محاسبات خالص از Effectful
• 65. استدلال درباره ساختارهای Monad
• 66. قوانین Monad و نقش آن‌ها در بازنویسی
• 67. استدلال درباره Functor و قوانین آن
• 68. استدلال درباره Applicative و قوانین آن
• 69. استدلال درباره Abstractionهای تابعی
• 70. تبدیل کد تابعی به اثبات ریاضی
• 71. طراحی برنامه برای قابلیت اثبات بیشتر
• 72. استفاده از استدلال معادله‌ای برای Refactoring
• 73. اثبات حفظ رفتار پس از Refactoring
• 74. استفاده از استدلال معادله‌ای برای تست و اعتبارسنجی
• 75. ارتباط استدلال معادله‌ای با Property-Based Testing
• 76. از قوانین ریاضی تا پیاده‌سازی قابل اعتماد
• 77. حل مسائل واقعی با استدلال معادله‌ای
• 78. ساخت یک اثبات کامل برای یک تابع غیرساده
• 79. تحلیل و اصلاح خطاهای رایج در استدلال
• 80. طراحی یک فرایند عملی برای اثبات درستی برنامه‌های تابعی