فلش‌کارت‌های آموزشی اصول ریاضی در علوم کامپیوتر: از نظریه تا کاربرد

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

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

عنوان دوره: دوره اصول ریاضی در علوم کامپیوتر: از نظریه تا کاربرد

موضوع کلی: علوم کامپیوتر و مبانی ریاضی

موضوع میانی: مبانی نظری علوم کامپیوتر

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

• 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. پیچیدگی محاسباتی: کلاس‌های P و NP
• 30. مسائل NP-کامل
• 31. روش‌های تقریب برای مسائل NP-سخت
• 32. نظریه اطلاعات و کدگذاری
• 33. آنتروپی و اطلاعات متقابل
• 34. کدگذاری شانون-فانو
• 35. کدگذاری هافمن
• 36. مبانی نظری الگوریتم‌های تصادفی
• 37. کاربرد الگوریتم‌های تصادفی
• 38. مقدمه‌ای بر رمزنگاری
• 39. رمزنگاری متقارن و نامتقارن
• 40. توابع درهم‌سازی امن
• 41. امضای دیجیتال
• 42. مبانی نظری پایگاه داده‌ها
• 43. مدل رابطه‌ای و جبر رابطه‌ای
• 44. زبان پرس‌وجوی SQL
• 45. طراحی پایگاه داده و نرمال‌سازی
• 46. نظریه بازی‌ها و کاربردهای آن
• 47. مقدمه‌ای بر بهینه‌سازی گسسته
• 48. برنامه‌ریزی خطی گسسته
• 49. روش‌های الگوریتمی در بهینه‌سازی
• 50. نظریه صف و شبیه‌سازی
• 51. مدل‌های صف‌بندی M/M/1
• 52. کاربرد نظریه صف در علوم کامپیوتر
• 53. مبانی نظری یادگیری ماشین
• 54. یادگیری نظارت‌شده و بدون نظارت
• 55. الگوریتم‌های دسته‌بندی
• 56. رگرسیون خطی و لجستیک
• 57. شبکه‌های عصبی مصنوعی: مبانی
• 58. یادگیری عمیق و شبکه‌های کانولوشنال
• 59. یادگیری تقویتی
• 60. مبانی نظری سیستم‌های توزیع‌شده
• 61. مدل‌های هماهنگی و اجماع
• 62. الگوریتم‌های در سیستم‌های توزیع‌شده
• 63. مباحث پیشرفته در نظریه محاسبات
• 64. پیچیدگی موازی و ارتباطات
• 65. نظریه محاسبات کوانتومی: مقدمه
• 66. الگوریتم‌های کوانتومی اساسی
• 67. مبانی نظری گراف‌های تصادفی
• 68. کاربرد گراف‌های تصادفی در شبکه‌ها
• 69. نظریه اطلاعات در شبکه‌های ارتباطی
• 70. مباحث پیشرفته در نظریه اتومات
• 71. کاربرد اتوماتای سلولی
• 72. مبانی نظری سیستم‌های سازگار پیچیده
• 73. مدل‌سازی رفتار جمعی
• 74. مقدمه‌ای بر محاسبات زیستی
• 75. کاربرد نظریه محاسبات در زیست‌شناسی
• 76. مباحث پیشرفته در نظریه الگوریتم
• 77. طراحی الگوریتم‌های بهینه
• 78. تحلیل الگوریتم‌های پیچیده
• 79. مبانی نظری شبکه‌های عصبی گراف
• 80. یادگیری روی گراف‌ها
• 81. مباحث پیشرفته در نظریه پایگاه داده‌ها
• 82. پایگاه داده‌های NoSQL
• 83. مدیریت داده‌های بزرگ
• 84. مبانی نظری محاسبات ابری
• 85. معماری سیستم‌های ابری
• 86. امنیت در سیستم‌های ابری
• 87. مباحث پیشرفته در نظریه بازی‌ها
• 88. بازی‌های غیرهمکارانه
• 89. طراحی مکانیزم‌ها
• 90. نظریه اطلاعات و یادگیری ماشین
• 91. مباحث پیشرفته در رمزنگاری
• 92. حساب دیفرانسیل و انتگرال گسسته در رمزنگاری
• 93. مبانی نظری بهینه‌سازی ترکیبی
• 94. کاربرد بهینه‌سازی در علوم کامپیوتر
• 95. مبانی نظری شبکه‌های پیچیده
• 96. تحلیل ساختار شبکه‌ها
• 97. کاربرد شبکه‌های پیچیده در دنیای واقعی
• 98. مبانی نظری گراف‌های رنگی
• 99. مسئله رنگ‌آمیزی گراف
• 100. مباحث پیشرفته در نظریه محاسبات‌پذیری