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

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

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

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

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

موضوع میانی: اصول و ساختارهای محاسباتی

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

• 1. مجموعه ها و توابع: مبانی ریاضیاتی
• 2. اثبات ریاضیاتی: استقرا، تناقض، و مستقیم
• 3. زبان های رسمی: تعریف و مفاهیم اولیه
• 4. گرامرها: انواع و ساختار
• 5. اتوماتا: مقدمه ای بر ماشین های حالت محدود
• 6. ماشین های حالت محدود معین (DFA)
• 7. ماشین های حالت محدود نامعین (NFA)
• 8. تبدیل NFA به DFA
• 9. عبارات منظم: تعریف و معادل سازی با اتوماتا
• 10. الگوریتم های تطبیق الگو: تطبیق عبارات منظم
• 11. خواص بستاری زبان های منظم
• 12. لم تزریق برای زبان های منظم
• 13. مینیمال سازی ماشین های حالت محدود
• 14. گرامرهای مستقل از متن (CFG)
• 15. درخت تجزیه و اشتقاق
• 16. ابهام در گرامرهای مستقل از متن
• 17. ساده سازی گرامرهای مستقل از متن
• 18. فرم نرمال چامسکی (CNF)
• 19. فرم نرمال گرِباخ (GNF)
• 20. ماشین های فشارپایین (PDA)
• 21. PDA قطعی و غیرقطعی
• 22. معادل سازی CFG و PDA
• 23. لم تزریق برای زبان های مستقل از متن
• 24. خواص بستاری زبان های مستقل از متن
• 25. ماشین های تورینگ: تعریف و مفاهیم اولیه
• 26. تنوع ماشین های تورینگ
• 27. ماشین های تورینگ چند نواره
• 28. ماشین های تورینگ غیرقطعی
• 29. ماشین های تورینگ شمارشگر
• 30. زبان های بازگشتی شمارش پذیر (Recursively Enumerable)
• 31. زبان های بازگشتی (Recursive)
• 32. مسئله توقف (Halting Problem)
• 33. غیرقابل تصمیم پذیری (Undecidability)
• 34. قضیه ریس (Rice's Theorem)
• 35. کاهش پذیری (Reducibility)
• 36. NP-completeness: مقدمه
• 37. P و NP
• 38. NP-hard
• 39. مسئله SAT: نمونه ای از یک مسئله NP-complete
• 40. K-Clique: مسئله یافتن یک خوشه k تایی
• 41. زیرمجموعه جمع (Subset Sum)
• 42. Hamiltonian Cycle
• 43. Traveling Salesperson Problem (TSP)
• 44. مدارهای بولی: محاسبات مداری
• 45. حداقل کردن مدار (Circuit Minimization)
• 46. تئوری پیچیدگی زمانی: O بزرگ، امگا بزرگ، تتا بزرگ
• 47. پیچیدگی فضایی
• 48. قضیه سلسله مراتبی زمان
• 49. قضیه سلسله مراتبی فضا
• 50. PSPACE
• 51. PSPACE-completeness
• 52. NL-completeness
• 53. قضیه Savitch
• 54. L و SL
• 55. توابع بازگشتی اولیه
• 56. توابع μ-بازگشتی
• 57. ماشین های تورینگ و توابع محاسباتی
• 58. مدل های محاسباتی معادل: لامبدا حساب
• 59. مدل های محاسباتی معادل: منطق ترکیبی
• 60. منطق مرتبه اول
• 61. تئوری مدل
• 62. تئوری اثبات
• 63. قضیه تمامیت گودل
• 64. قضیه ناتمامیت گودل
• 65. محاسبات نامتعارف: مقدمه
• 66. محاسبات DNA
• 67. محاسبات کوانتومی: بیت کوانتومی و درهم تنیدگی
• 68. محاسبات غشایی (Membrane Computing)
• 69. شبکه های عصبی مصنوعی: مبانی
• 70. یادگیری تقویتی
• 71. الگوریتم های تکاملی
• 72. ماشین های برداری پشتیبان (SVM)
• 73. درخت های تصمیم گیری
• 74. شبکه های بیزی
• 75. خوشه بندی
• 76. کاهش ابعاد
• 77. تشخیص الگو
• 78. پردازش زبان طبیعی (NLP): مقدمه
• 79. مدل های زبانی
• 80. تجزیه نحوی
• 81. تحلیل معنایی
• 82. تولید زبان
• 83. ترجمه ماشینی
• 84. بینایی ماشین: مقدمه
• 85. تشخیص اشیا
• 86. تقسیم بندی تصویر
• 87. بینایی محاسباتی
• 88. رباتیک: مقدمه
• 89. برنامه ریزی حرکت
• 90. ادراک محیط
• 91. کنترل ربات
• 92. هوش مصنوعی توزیع شده
• 93. سیستم های چند عامله
• 94. برنامه نویسی منطقی
• 95. سیستم های خبره
• 96. معماری های شناختی
• 97. وب معنایی
• 98. داده های بزرگ و یادگیری ماشین
• 99. امنیت سایبری و رمزنگاری
• 100. محاسبات لبه