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

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

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

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

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

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

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

• 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. کلاس‌های پیچیدگی P و NP
• 29. مسائل کامل NP
• 30. کاهش‌های چندجمله‌ای
• 31. الگوریتم‌های تقریبی
• 32. پیچیدگی فضا
• 33. نظریهٔ اطلاعات
• 34. آنتروپی
• 35. کدگذاری
• 36. فشرده‌سازی داده‌ها
• 37. نظریهٔ کدگذاری تصحیح خطا
• 38. کاربرد نظریهٔ اطلاعات
• 39. مفاهیم پایهٔ الگوریتم‌ها
• 40. تحلیل پیچیدگی الگوریتم‌ها
• 41. الگوریتم‌های مرتب‌سازی
• 42. جستجو
• 43. الگوریتم‌های گراف
• 44. الگوریتم‌های برنامه‌نویسی پویا
• 45. الگوریتم‌های حریصانه
• 46. الگوریتم‌های تقسیم و حل
• 47. روش‌های اثبات درستی الگوریتم‌ها
• 48. الگوریتم‌های موازی
• 49. الگوریتم‌های توزیع‌شده
• 50. مقدمه‌ای بر یادگیری ماشین
• 51. یادگیری نظارت‌شده
• 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. مفاهیم پیشرفتهٔ نظریهٔ زبان‌ها
• 83. نظریهٔ اتوماتا و گرامرها
• 84. مبانی نظری زبان‌های برنامه‌نویسی
• 85. نظریهٔ انواع داده‌ها
• 86. مبانی نظری محاسبات توزیع‌شده
• 87. مبانی نظری سیستم‌های عامل
• 88. مبانی نظری شبکه‌های کامپیوتری
• 89. مبانی نظری هوش مصنوعی
• 90. مقدمه‌ای بر منطق فازی
• 91. منطق چند ارزشی
• 92. کاربرد منطق در استدلال خودکار
• 93. نظریهٔ سیستم‌های پیچیده
• 94. مفاهیم پایهٔ احتمال
• 95. احتمال شرطی
• 96. متغیرهای تصادفی
• 97. امید ریاضی
• 98. قضیهٔ حد مرکزی
• 99. کاربرد احتمالات در علوم کامپیوتر