کتاب صوتی منطق برنامه‌نویسی: اصول و کاربردها در هوش مصنوعی

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

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

عنوان دوره: دوره منطق برنامه‌نویسی: اصول و کاربردها در هوش مصنوعی

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

موضوع میانی: مبانی و روش‌های برنامه‌نویسی

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

• 1. مقدمه‌ای بر برنامه‌نویسی منطقی
• 2. مجموعه‌ها و روابط در منطق
• 3. نحو گزاره‌ای منطق مرتبه اول
• 4. ارزیابی فرمول‌ها در منطق گزاره‌ای
• 5. استنتاج در منطق گزاره‌ای
• 6. قضیه کامل بودن منطق گزاره‌ای
• 7. منطق مرتبه اول: نحو
• 8. تفسیر و مدل در منطق مرتبه اول
• 9. ارزیابی فرمول‌ها در منطق مرتبه اول
• 10. قضیه کامل بودن منطق مرتبه اول
• 11. قضیه ناکامل بودن گودل
• 12. کاربرد منطق در پایگاه داده‌ها
• 13. زبان پرس‌وجوی منطقی (Datalog)
• 14. مدل‌سازی دانش با منطق
• 15. استنتاج در سیستم‌های مبتنی بر منطق
• 16. مقدمه‌ای بر برنامه‌نویسی منطقی (Prolog)
• 17. قواعد و احکام در Prolog
• 18. پرس‌وجوها و تطابق الگو در Prolog
• 19. ساختارهای داده در Prolog
• 20. توابع بازگشتی در Prolog
• 21. مدیریت لیست‌ها در Prolog
• 22. عملیات ورودی/خروجی در Prolog
• 23. مقدمه‌ای بر هوش مصنوعی
• 24. کاربرد منطق در حل مسئله
• 25. جستجو در فضاهای حالت
• 26. الگوریتم‌های جستجوی غیرآگاهانه
• 27. الگوریتم‌های جستجوی آگاهانه
• 28. جستجوی درخت A*
• 29. حل‌کننده‌های رضایت‌بخش (Constraint Satisfaction Problems)
• 30. مقدمه‌ای بر سیستم‌های خبره
• 31. قواعد تولید و استنتاج
• 32. سیستم‌های مبتنی بر استنتاج
• 33. نمایش دانش با شبکه‌های معنایی
• 34. نمایش دانش با چارچوب‌ها (Frames)
• 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. مسائل NP-کامل
• 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. مقدمه‌ای بر رمزنگاری