کتاب صوتی برنامه‌نویسی منطقی با رویکرد به سیستم‌های پردازشی (با تمرکز بر مفاهیم پایه و کاربرد در حل مسائل)

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

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

عنوان دوره: دوره برنامه‌نویسی منطقی با رویکرد به سیستم‌های پردازشی (با تمرکز بر مفاهیم پایه و کاربرد در حل مسائل)

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

موضوع میانی: زبان‌های برنامه‌نویسی منطقی و پایگاه داده

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

• 1. مقدمه‌ای بر منطق و برنامه‌نویسی
• 2. تاریخچه زبان‌های منطقی
• 3. مفاهیم پایه منطق گزاره‌ای
• 4. قواعد استنتاج در منطق گزاره‌ای
• 5. منطق محمولات مرتبه اول
• 6. سورها و متغیرها در منطق محمولات
• 7. قواعد استنتاج در منطق محمولات
• 8. کاربرد منطق در حل مسائل
• 9. مقدمه‌ای بر زبان‌های برنامه‌نویسی منطقی
• 10. فلسفه برنامه‌نویسی منطقی
• 11. پایگاه دانش و قواعد
• 12. قوانین استنتاج در سیستم‌های منطقی
• 13. معرفی سیستم‌های منطقی
• 14. ساختار یک برنامه منطقی
• 15. عوامل و متغیرها در برنامه‌نویسی منطقی
• 16. قواعد و پرس‌وجوها
• 17. موتور استنتاج
• 18. حل مسئله با برنامه‌نویسی منطقی
• 19. مقدمه‌ای بر Prolog
• 20. دستورات پایه در Prolog
• 21. تعریف قواعد و حقایق در Prolog
• 22. پرس‌وجو در Prolog
• 23. بازگشت و عقب‌گرد در Prolog
• 24. لیست‌ها در Prolog
• 25. عملیات روی لیست‌ها
• 26. توابع در Prolog
• 27. ساختارهای داده در Prolog
• 28. پیاده‌سازی الگوریتم‌ها در Prolog
• 29. کاربرد Prolog در هوش مصنوعی
• 30. پردازش زبان طبیعی با Prolog
• 31. سیستم‌های خبره با Prolog
• 32. مقدمه‌ای بر پایگاه داده
• 33. مدل رابطه‌ای پایگاه داده
• 34. جداول و ستون‌ها
• 35. کلیدهای اصلی و خارجی
• 36. عملیات پایه در پایگاه داده رابطه‌ای
• 37. انتخاب، پروجکشن و پیوند
• 38. نرمال‌سازی پایگاه داده
• 39. مقدمه‌ای بر SQL
• 40. دستور SELECT
• 41. دستور FROM و WHERE
• 42. دستور GROUP BY و HAVING
• 43. دستور ORDER BY
• 44. دستور INSERT
• 45. دستور UPDATE
• 46. دستور DELETE
• 47. پیوند جداول در SQL
• 48. توابع تجمعی در SQL
• 49. زیرپرس‌وجوها در SQL
• 50. نمایه‌ها در پایگاه داده
• 51. مدیریت تراکنش‌ها
• 52. امنیت پایگاه داده
• 53. طراحی پایگاه داده
• 54. مقدمه‌ای بر سیستم‌های پردازشی
• 55. معماری کامپیوتر
• 56. واحد پردازش مرکزی (CPU)
• 57. حافظه اصلی و ثانویه
• 58. ورودی/خروجی
• 59. سیستم عامل
• 60. مدیریت فرایندها
• 61. مدیریت حافظه
• 62. مدیریت فایل
• 63. شبکه‌های کامپیوتری
• 64. مقدمه‌ای بر پروتکل‌های شبکه
• 65. پروتکل TCP/IP
• 66. لایه کاربرد
• 67. لایه انتقال
• 68. لایه اینترنت
• 69. لایه دسترسی به شبکه
• 70. امنیت در شبکه‌ها
• 71. مقدمه‌ای بر سیستم‌های توزیع‌شده
• 72. مزایا و چالش‌های سیستم‌های توزیع‌شده
• 73. همگام‌سازی در سیستم‌های توزیع‌شده
• 74. مدیریت خطا در سیستم‌های توزیع‌شده
• 75. سازگاری در سیستم‌های توزیع‌شده
• 76. پایگاه داده‌های توزیع‌شده
• 77. مقدمه‌ای بر محاسبات ابری
• 78. انواع خدمات ابری
• 79. زیرساخت به عنوان سرویس (IaaS)
• 80. سکوی به عنوان سرویس (PaaS)
• 81. نرم‌افزار به عنوان سرویس (SaaS)
• 82. امنیت در محاسبات ابری
• 83. مقدمه‌ای بر داده‌کاوی
• 84. مراحل داده‌کاوی
• 85. آماده‌سازی داده‌ها
• 86. کشف الگوها
• 87. ارزیابی نتایج
• 88. کاربرد داده‌کاوی
• 89. مقدمه‌ای بر یادگیری ماشین
• 90. انواع یادگیری ماشین
• 91. یادگیری نظارت‌شده
• 92. یادگیری نظارت‌نشده
• 93. یادگیری تقویتی
• 94. الگوریتم‌های یادگیری ماشین
• 95. شبکه‌های عصبی مصنوعی
• 96. مقدمه‌ای بر توسعه نرم‌افزار
• 97. چرخه حیات توسعه نرم‌افزار
• 98. متدولوژی‌های توسعه نرم‌افزار
• 99. تست نرم‌افزار
• 100. مدیریت پروژه نرم‌افزار