سپنتا کتاب اکسپرس
کتاب نظریه رده‌ها در برنامه‌نویسی: ساختارهای انتزاعی و الگوهای طراحی

کتاب نظریه رده‌ها در برنامه‌نویسی: ساختارهای انتزاعی و الگوهای طراحی

انتخاب پلن

انتخاب پلن برای ادامه خرید الزامی است.

پرداخت اقساطی
در صورت خرید اقساطی هر قسط: 62,488 تومان
۴ قسط ماهانه. بدون سود، چک و ضامن.
پرداخت اقساطی با دیجی‌پی پرداخت اقساطی با ترب‌پی

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

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

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

عنوان دوره: دوره نظریه رده‌ها در برنامه‌نویسی: ساختارهای انتزاعی و الگوهای طراحی

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

موضوع میانی: مبانی نظری محاسبات و برنامه‌نویسی

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

  • 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. رده‌ی اشیاء مجهز (Cartesian Closed Categories)
  • 26. اشیاء ضربی
  • 27. اشیاء نمایی
  • 28. تطابق Curry-Howard
  • 29. رده‌ی انواع داده جبری
  • 30. مفهوم ترم
  • 31. رده‌ی ترم‌ها
  • 32. رده‌ی عبارات
  • 33. ارزیابی عبارات
  • 34. رده‌های نمایش‌دهنده (Representable Functors)
  • 35. مفهوم تابع‌ساز (Adjunction)
  • 36. تابع‌سازهای چپ و راست
  • 37. نمونه‌هایی از تابع‌سازها
  • 38. تابع‌سازهای لیست و Maybe
  • 39. تابع‌سازهای Either و State
  • 40. مفهوم مونوئید
  • 41. رده‌ی مونوئیدها
  • 42. مونوئیدهای در رده‌ها
  • 43. کاربرد مونوئیدها در برنامه‌نویسی
  • 44. مفهوم کواِلمونوئید
  • 45. رده‌ی کواِلمونوئیدها
  • 46. کاربرد کواِلمونوئیدها
  • 47. مفهوم مونوئیدال رده
  • 48. رده‌های مونوئیدال
  • 49. رده‌های دوگانه
  • 50. مفهوم کانترکت (Contract)
  • 51. کانترکت‌ها در رده‌ها
  • 52. کانترکت‌های دایره‌ای
  • 53. استفاده از کانترکت‌ها در برنامه‌نویسی
  • 54. مفهوم نیم‌رده (Semiring)
  • 55. رده‌ی نیم‌رده‌ها
  • 56. کاربرد نیم‌رده‌ها
  • 57. مفهوم گِراف (Graph)
  • 58. رده‌ی گِراف‌ها
  • 59. نمایش گِراف‌ها با نظریه رده‌ها
  • 60. الگوریتم‌های گِراف در چارچوب نظریه رده‌ها
  • 61. مفهوم کانکشن (Connection)
  • 62. کانکشن‌ها در رده‌ها
  • 63. کاربرد کانکشن‌ها
  • 64. رده‌های دایره‌ای (Monoidal Categories)
  • 65. ساختار مونوئید در رده‌های دایره‌ای
  • 66. رده‌های دوتایی (Bicategories)
  • 67. پیکان‌های مرتبه دوم
  • 68. تبدیلات طبیعی مرتبه دوم
  • 69. مفهوم هم‌ریختی رده‌ای (Category Equivalence)
  • 70. رده‌های معادل
  • 71. اهمیت هم‌ریختی رده‌ای
  • 72. مفهوم ابزار (Monad)
  • 73. رده‌ی ابزارها
  • 74. ساختار ابزار در رده‌ها
  • 75. کاربرد ابزارها در برنامه‌نویسی (توابع خالص)
  • 76. مفهوم کواِبنر (Comonad)
  • 77. رده‌ی کواِبنرها
  • 78. ساختار کواِبنر در رده‌ها
  • 79. کاربرد کواِبنرها
  • 80. مفهوم اَپِندیکتور (Applicative Functor)
  • 81. رده‌ی اَپِندیکتورها
  • 82. ساختار اَپِندیکتور در رده‌ها
  • 83. کاربرد اَپِندیکتورها
  • 84. مفهوم تراورسِبل (Traversable)
  • 85. رده‌ی تراورسِبل‌ها
  • 86. ساختار تراورسِبل در رده‌ها
  • 87. کاربرد تراورسِبل‌ها
  • 88. مفهوم تابع‌سازِ فیلتر (Filter Adjunction)
  • 89. فیلتر در رده‌ها
  • 90. کاربرد فیلتر
  • 91. مفهوم تابع‌سازِ مپ (Map Adjunction)
  • 92. مپ در رده‌ها
  • 93. کاربرد مپ
  • 94. مفهوم تابع‌سازِ فور (For Adjunction)
  • 95. فور در رده‌ها
  • 96. کاربرد فور
  • 97. استفاده از نظریه رده‌ها برای طراحی الگوهای نرم‌افزاری
  • 98. رده‌ها به عنوان انتزاعی برای ساختارهای داده
  • 99. رده‌ها به عنوان انتزاعی برای الگوریتم‌ها
  • 100. نظریه رده‌ها و برنامه‌نویسی تابعی

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

نظرات

هنوز نظری ثبت نشده است.

وارد شوید تا نظر ثبت کنید.