کتاب صوتی پرورش تفکر نقادانه در علوم کامپیوتر با رویکرد استدلال، بازگشت و ناوردایی‌ها

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

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

عنوان دوره: دوره پرورش تفکر نقادانه در علوم کامپیوتر با رویکرد استدلال، بازگشت و ناوردایی‌ها

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

موضوع میانی: مبانی تفکر الگوریتمی و حل مسئله

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

• 1. مقدمه‌ای بر تفکر نقادانه در علوم کامپیوتر
• 2. اهمیت حل مسئله در مهندسی نرم‌افزار
• 3. اصول اولیه منطق و استدلال
• 4. مفهوم استقرا و کاربردهای آن
• 5. مقدمه‌ای بر اثبات‌های استقرایی
• 6. مثال‌های ساده از اثبات‌های استقرایی
• 7. استقرا در اثبات خواص الگوریتم‌ها
• 8. استقرا در اثبات پیچیدگی زمانی الگوریتم‌ها
• 9. مفهوم بازگشت و توابع بازگشتی
• 10. طراحی الگوریتم‌های بازگشتی
• 11. مثال‌های کلاسیک الگوریتم‌های بازگشتی
• 12. بازگشت و تقسیم و غلبه
• 13. الگوریتم مرتب‌سازی ادغامی بازگشتی
• 14. الگوریتم مرتب‌سازی سریع بازگشتی
• 15. جستجوی دودویی بازگشتی
• 16. مفهوم ناوردایی‌ها (Invariants)
• 17. ناوردایی‌ها در حلقه های تکرار
• 18. استفاده از ناوردایی‌ها برای اثبات صحت الگوریتم‌ها
• 19. ناوردایی‌ها در الگوریتم‌های مرتب‌سازی
• 20. ناوردایی‌ها در الگوریتم‌های جستجو
• 21. ناوردایی‌ها در الگوریتم‌های گراف
• 22. منطق گزاره‌ای و کاربردهای آن
• 23. جداول درستی و استدلال منطقی
• 24. قضایای اساسی منطق گزاره‌ای
• 25. منطق مسندی و کاربردهای آن
• 26. کوانتیفایرها و دامنه متغیرها
• 27. استدلال قیاسی و استقرایی در منطق
• 28. مقدمه‌ای بر نظریه مجموعه‌ها
• 29. عملیات روی مجموعه‌ها و خواص آن‌ها
• 30. رابطه‌ها و توابع و کاربردهایشان
• 31. مقدمه‌ای بر نظریه گراف
• 32. انواع گراف‌ها و خواص آن‌ها
• 33. پیمایش گراف‌ها: جستجوی اول سطح و عمق
• 34. الگوریتم‌های مسیر یابی در گراف
• 35. مقدمه‌ای بر پیچیدگی محاسباتی
• 36. کلاس‌های پیچیدگی P و NP
• 37. مسائل NP-کامل و کاربردهایشان
• 38. مقدمه‌ای بر طراحی الگوریتم‌های بهینه
• 39. روش‌های حریصانه در طراحی الگوریتم
• 40. برنامه‌ریزی پویا و حل مسائل بهینه
• 41. مقدمه‌ای بر ساختمان داده‌ها
• 42. آرایه‌ها و لیست‌های پیوندی
• 43. پشته‌ها و صف‌ها
• 44. درخت‌ها و کاربردهایشان
• 45. درخت‌های جستجوی دودویی
• 46. هرم‌ها و کاربردهایشان
• 47. جداول هش و مدیریت برخوردها
• 48. مقدمه‌ای بر علم داده
• 49. مفاهیم اولیه آمار و احتمال
• 50. جمع‌آوری و پیش‌پردازش داده‌ها
• 51. تجسم داده‌ها و ابزارهای آن
• 52. یادگیری ماشین نظارت شده
• 53. رگرسیون خطی و لجستیک
• 54. درخت‌های تصمیم و جنگل‌های تصادفی
• 55. ماشین‌های بردار پشتیبان
• 56. یادگیری ماشین نظارت نشده
• 57. خوشه‌بندی و الگوریتم K-Means
• 58. کاهش ابعاد و تحلیل مولفه‌های اصلی
• 59. مقدمه‌ای بر شبکه های عصبی
• 60. نورون‌های مصنوعی و لایه‌ها
• 61. شبکه‌های پیشخور و پس انتشار
• 62. شبکه‌های کانولوشنال و کاربردهای بینایی ماشین
• 63. شبکه‌های بازگشتی و کاربردهای پردازش زبان طبیعی
• 64. مقدمه‌ای بر پایگاه داده‌ها
• 65. مدل رابطه‌ای و جبر رابطه‌ای
• 66. طراحی پایگاه داده و نرمال‌سازی
• 67. زبان پرس و جوی SQL
• 68. مقدمه‌ای بر مهندسی نرم‌افزار
• 69. چرخه حیات توسعه نرم‌افزار
• 70. مدل‌های توسعه نرم‌افزار (آبشاری، چابک)
• 71. الگوهای طراحی نرم‌افزار
• 72. معماری‌های نرم‌افزاری
• 73. تست نرم‌افزار و انواع آن
• 74. مدیریت پروژه نرم‌افزار
• 75. مقدمه‌ای بر امنیت نرم‌افزار
• 76. مفاهیم رمزنگاری پایه
• 77. امنیت در توسعه وب
• 78. مقدمه‌ای بر اخلاق در علوم کامپیوتر
• 79. مسئولیت‌های اجتماعی مهندسان نرم‌افزار
• 80. حریم خصوصی و حفاظت از داده‌ها
• 81. مالکیت فکری و نرم‌افزار
• 82. مقدمه‌ای بر رایانش ابری
• 83. انواع مدل‌های رایانش ابری
• 84. امنیت در رایانش ابری
• 85. مقدمه‌ای بر اینترنت اشیاء
• 86. معماری اینترنت اشیاء
• 87. امنیت در اینترنت اشیاء
• 88. مقدمه‌ای بر بلاکچین
• 89. مفاهیم پایه بلاکچین
• 90. کاربردهای بلاکچین
• 91. مقدمه‌ای بر هوش مصنوعی مولد
• 92. معماری مدل‌های زبانی بزرگ
• 93. کاربردها و چالش‌های هوش مصنوعی مولد
• 94. تفکر انتقادی در مواجهه با اطلاعات
• 95. ارزیابی منابع و اعتبار سنجی
• 96. شناخت سوگیری‌ها در استدلال
• 97. حل مسئله با رویکرد خلاقانه
• 98. تصمیم‌گیری مبتنی بر داده
• 99. ارتباطات موثر در تیم‌های فنی
• 100. مدیریت زمان و اولویت‌بندی وظایف