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

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

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

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

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

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

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

• 1. مقدمه ای بر نظریه محاسبات و انگیزه های آن
• 2. مجموعه ها، روابط و توابع
• 3. زبان های رسمی: تعریف و اهمیت
• 4. اثبات با استقرا: مبانی و کاربردها
• 5. گرامرها و زبان های منظم
• 6. اتوماتای معین متناهی (DFA)
• 7. اتوماتای نامعین متناهی (NFA)
• 8. تبدیل NFA به DFA
• 9. عبارات با قاعده
• 10. تبدیل عبارات با قاعده به اتوماتا و بالعکس
• 11. لم پمپاژ برای زبان های منظم
• 12. حداقل سازی DFA
• 13. زبان های منظم و بسته بودن
• 14. ماشین های مور و میلی
• 15. ماشین های حالت محدود با خروجی
• 16. گرامرهای مستقل از متن (CFG)
• 17. درخت تجزیه
• 18. ابهام در CFG ها
• 19. فرم نرمال چامسکی (CNF)
• 20. فرم نرمال گرایباخ (GNF)
• 21. اتوماتای پشته ای (PDA)
• 22. تبدیل CFG به PDA و بالعکس
• 23. لم پمپاژ برای زبان های مستقل از متن
• 24. زبان های مستقل از متن و بسته بودن
• 25. ماشین تورینگ: مدل محاسباتی جهانی
• 26. انواع ماشین تورینگ: چند نواره، غیر قطعی
• 27. زبان های بازگشتی و زبان های بازگشتی شمارا
• 28. ماشین تورینگ جهانی
• 29. مسئله توقف (Halting Problem): اثبات غیر قابل حل بودن
• 30. اثبات غیرقابل حل بودن با کاهش
• 31. قضیه ریس
• 32. مرزهای محاسبات: توابع غیرقابل محاسبه
• 33. محاسبه پذیری چرچ-تورینگ
• 34. انواع پیچیدگی محاسباتی: زمان و فضا
• 35. نماد O بزرگ: تحلیل مجانبی الگوریتم ها
• 36. کلاس پیچیدگی P
• 37. کلاس پیچیدگی NP
• 38. مسائل NP-complete
• 39. کاهش (Reduction): اثبات NP-completeness
• 40. مسئله SAT: اولین مسئله NP-complete
• 41. Cook-Levin Theorem
• 42. مسائل کلاسیک NP-complete: Vertex Cover, Clique, Hamiltonian Cycle
• 43. استراتژی های مقابله با مسائل NP-hard: الگوریتم های تقریبی
• 44. الگوریتم های تقریبی: مبانی و مثال ها
• 45. پیچیدگی فضایی: کلاس PSPACE
• 46. قضیه Savitch
• 47. کلاس NL
• 48. کاهش های لگاریتمی فضایی
• 49. پیچیدگی مدار
• 50. کلاس NC
• 51. کلاس AC
• 52. مقدمه ای بر محاسبات موازی
• 53. مدل های محاسباتی موازی: PRAM
• 54. تحلیل الگوریتم های موازی
• 55. مقدمه ای بر نظریه اطلاعات
• 56. آنتروپی و اطلاعات
• 57. کدگذاری هافمن
• 58. کدگذاری شانون-فانو
• 59. پیچیدگی کولموگوروف
• 60. تصادف و تصادفیت
• 61. مقدمه ای بر رمزنگاری
• 62. رمزنگاری کلید متقارن
• 63. رمزنگاری کلید نامتقارن
• 64. توابع درهم ساز
• 65. امضاهای دیجیتال
• 66. مقدمه ای بر الگوریتم های تصادفی
• 67. کلاس RP
• 68. کلاس BPP
• 69. مسئله آزمایش اول بودن
• 70. الگوریتم Miller-Rabin
• 71. مقدمه ای بر محاسبات کوانتومی
• 72. بیت های کوانتومی (Qubits)
• 73. دروازه های کوانتومی
• 74. الگوریتم Deutsch-Jozsa
• 75. الگوریتم Shor
• 76. الگوریتم Grover
• 77. محدودیت های محاسبات کوانتومی
• 78. تئوری اطلاعات کوانتومی
• 79. مقدمه ای بر نظریه یادگیری ماشین
• 80. یادگیری با نظارت
• 81. یادگیری بدون نظارت
• 82. نظریه یادگیری PAC
• 83. VC Dimension
• 84. مدل های محاسباتی غیر متعارف: DNA Computing
• 85. مدل های محاسباتی غیر متعارف: Membrane Computing
• 86. مدل های محاسباتی غیر متعارف: Quantum Annealing
• 87. محاسبه ابری و پیچیدگی
• 88. امنیت سایبری و نظریه محاسبات
• 89. نظریه بازی ها و طراحی الگوریتم
• 90. اثبات های صفر-دانش
• 91. نظریه پیچیدگی و محدودیت های هوش مصنوعی
• 92. محاسبات توزیع شده
• 93. مقدمه ای بر منطق ریاضی
• 94. حساب گزاره ها
• 95. حساب محمول ها
• 96. سیستم های استنتاج
• 97. قضیه تمامیت گودل
• 98. مدل های منطقی
• 99. رضایت پذیری (Satisfiability) و مسئله SAT
• 100. روش های حل SAT