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

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

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

عنوان دوره: دوره اصول نظریه انواع داده‌ها در زبان‌های برنامه‌نویسی

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

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

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

• 1. مقدمه‌ای بر نظریه انواع داده‌ها
• 2. تعریف انواع داده‌های اولیه
• 3. اهمیت انواع داده در برنامه‌نویسی
• 4. نمایش انواع داده در حافظه
• 5. انواع داده‌های عددی صحیح
• 6. اعداد صحیح نامحدود
• 7. اعداد صحیح با اندازه ثابت
• 8. انواع داده‌های عددی اعشاری
• 9. استاندارد IEEE 754
• 10. دقت اعداد اعشاری
• 11. انواع داده‌های کاراکتری
• 12. کدگذاری کاراکترها (ASCII, Unicode)
• 13. رشته‌ها به عنوان انواع داده
• 14. عملیات روی رشته‌ها
• 15. انواع داده‌های بولی
• 16. عملیات منطقی روی مقادیر بولی
• 17. انواع داده‌های ترکیبی
• 18. ساختارها (Structs)
• 19. کلاس‌ها (Classes)
• 20. انواع داده‌های شمارشی (Enums)
• 21. آرایه‌ها به عنوان انواع داده
• 22. شاخص‌گذاری در آرایه‌ها
• 23. ابعاد آرایه‌ها
• 24. لیست‌های پیوندی
• 25. عملیات روی لیست‌های پیوندی
• 26. پشته‌ها (Stacks)
• 27. صف‌ها (Queues)
• 28. درخت‌ها (Trees)
• 29. انواع درختان (باینری، n-ary)
• 30. گراف‌ها (Graphs)
• 31. عملیات روی گراف‌ها
• 32. انواع داده‌های انتزاعی (ADTs)
• 33. تعریف ADT
• 34. پیاده‌سازی ADT
• 35. مجموعه‌ها (Sets)
• 36. عملیات روی مجموعه‌ها
• 37. نقشه‌ها (Maps) / دیکشنری‌ها
• 38. عملیات روی نقشه‌ها
• 39. توابع و رویه‌ها
• 40. پارامترها و مقادیر بازگشتی
• 41. دامنه متغیرها
• 42. توابع لامبدا
• 43. توابع مرتبه بالاتر
• 44. بستارهای تابعی (Closures)
• 45. تایپ سیستم‌ها
• 46. سیستم‌های نوع ایستا
• 47. سیستم‌های نوع پویا
• 48. استنتاج نوع (Type Inference)
• 49. اعتبار سنجی انواع (Type Checking)
• 50. امنیت انواع (Type Safety)
• 51. انواع داده‌های جبری
• 52. انواع داده‌های جبری در Haskell
• 53. انواع داده‌های جبری در Scala
• 54. انواع داده‌های جبری در Rust
• 55. انواع داده‌های جبری در Swift
• 56. انواع داده‌های جبری در OCaml
• 57. برنامه‌نویسی تابعی و انواع داده‌ها
• 58. توابع خالص (Pure Functions)
• 59. توابع بدون اثر جانبی
• 60. تغییرناپذیری (Immutability)
• 61. انواع داده‌های تغییرپذیر (Mutable Data)
• 62. مقایسه تغییرپذیری و تغییرناپذیری
• 63. اشیاء و انواع داده‌ها
• 64. ارث‌بری (Inheritance)
• 65. چندریختی (Polymorphism)
• 66. ارث‌بری اشتراکی (Mixins)
• 67. انواع داده‌های پارامتریک (Parametric Polymorphism)
• 68. انواع داده‌های ادهاک (Ad-hoc Polymorphism)
• 69. سیستم‌های نوع پیشرفته
• 70. انواع داده‌های وابسته (Dependent Types)
• 71. انواع داده‌های وابسته در Idris
• 72. انواع داده‌های وابسته در Agda
• 73. انواع داده‌های وابسته در Coq
• 74. محدودیت‌های انواع داده‌های وابسته
• 75. انواع داده‌های جنریک (Generics)
• 76. پیاده‌سازی جنریک در Java
• 77. پیاده‌سازی جنریک در C#
• 78. پیاده‌سازی جنریک در TypeScript
• 79. برنامه‌نویسی شیءگرا و انواع داده‌ها
• 80. الگوهای طراحی (Design Patterns)
• 81. انواع داده‌ها در الگوهای طراحی
• 82. الگوهای مربوط به ساختاردهی اشیاء
• 83. الگوهای مربوط به رفتار اشیاء
• 84. الگوهای مربوط به ایجاد اشیاء
• 85. انواع داده‌ها در زبان‌های برنامه‌نویسی مدرن
• 86. مقایسه انواع داده‌ها در زبان‌های مختلف
• 87. کاربرد انواع داده‌ها در توسعه نرم‌افزار
• 88. موازنه بین انعطاف‌پذیری و امنیت انواع
• 89. تکامل نظریه انواع داده‌ها
• 90. آینده نظریه انواع داده‌ها
• 91. نظریه انواع داده‌ها و اثبات صحت برنامه‌ها
• 92. کاربرد در هوش مصنوعی و یادگیری ماشین
• 93. کاربرد در سیستم‌های توزیع‌شده
• 94. کاربرد در امنیت سایبری
• 95. نکات پایانی در مورد انواع داده‌ها