کتاب صوتی مقدمه‌ای بر برنامه‌نویسی منطقی با Micro-PROLOG

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

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

عنوان دوره: دوره مقدمه‌ای بر برنامه‌نویسی منطقی با Micro-PROLOG

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

موضوع میانی: منطق و هوش مصنوعی

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

• 1. مقدمه‌ای بر منطق و برنامه‌نویسی منطقی
• 2. مفهوم گزاره و صدق و کذب
• 3. قضیه شرطی و منطق گزاره‌ای
• 4. قضیه فصلی و منطق گزاره‌ای
• 5. نقیض و منطق گزاره‌ای
• 6. قوانین دمورگان در منطق گزاره‌ای
• 7. مقدمه‌ای بر منطق مرتبه اول
• 8. سور عمومی و سور وجودی
• 9. متغیرهای آزاد و مقید
• 10. تعبیر و ارضای فرمول‌های منطقی
• 11. قیاس منطقی و استنتاج
• 12. قواعد استنتاج در منطق مرتبه اول
• 13. مثال‌هایی از استنتاج منطقی
• 14. مقدمه‌ای بر زبان برنامه‌نویسی Prolog
• 15. تاریخچه و فلسفه Prolog
• 16. ساختار جملات Prolog: حقایق (Facts)
• 17. ساختار جملات Prolog: قواعد (Rules)
• 18. پرس‌وجوها (Queries) در Prolog
• 19. مثال‌های ساده با حقایق و قواعد
• 20. معرفی Micro-PROLOG
• 21. نصب و راه‌اندازی Micro-PROLOG
• 22. محیط کاربری Micro-PROLOG
• 23. اولین برنامه در Micro-PROLOG
• 24. حقایق در Micro-PROLOG
• 25. قواعد در Micro-PROLOG
• 26. پرس‌وجوها در Micro-PROLOG
• 27. توابع و عملگرهای پایه‌ای در Micro-PROLOG
• 28. لیست‌ها در Prolog
• 29. عملیات روی لیست‌ها: الحاق (Concatenation)
• 30. عملیات روی لیست‌ها: عضویت (Membership)
• 31. عملیات روی لیست‌ها: طول (Length)
• 32. عملیات روی لیست‌ها: معکوس (Reverse)
• 33. بازگشت (Recursion) در Prolog
• 34. مثال‌های بازگشتی برای لیست‌ها
• 35. جستجو در گراف با Prolog
• 36. مفهوم درخت و پیمایش آن
• 37. نمایش درخت در Prolog
• 38. پیمایش پیش‌ترتیب (Preorder Traversal)
• 39. پیمایش میان‌ترتیب (Inorder Traversal)
• 40. پیمایش پس‌ترتیب (Postorder Traversal)
• 41. مقدمه‌ای بر هوش مصنوعی
• 42. کاربرد منطق در هوش مصنوعی
• 43. سیستم‌های مبتنی بر قاعده
• 44. سیستم‌های استنتاج
• 45. حل مسئله با جستجو
• 46. الگوریتم‌های جستجوی اول سطح (BFS)
• 47. الگوریتم‌های جستجوی اول عمق (DFS)
• 48. جستجوی حریصانه (Greedy Search)
• 49. جستجوی A*
• 50. نمایش دانش در Prolog
• 51. روابط خانوادگی در Prolog
• 52. مثال‌های پیچیده‌تر روابط خانوادگی
• 53. مقدمه‌ای بر عملگرهای مقایسه‌ای
• 54. عملگرهای ریاضی در Prolog
• 55. کاربرد عملگرهای مقایسه‌ای در قواعد
• 56. توابع تعریف شده توسط کاربر
• 57. نوشتن توابع بازگشتی پیچیده‌تر
• 58. مدیریت خطا و اشکال‌زدایی در Micro-PROLOG
• 59. تکنیک‌های اشکال‌زدایی
• 60. برنامه‌نویسی با رویکرد منطقی
• 61. مثال‌های کاربردی در حوزه‌های مختلف
• 62. حل مسائل منطقی با Prolog
• 63. مقدمه‌ای بر پایگاه داده‌های رابطه‌ای
• 64. نمایش پایگاه داده در Prolog
• 65. پرس‌وجو از پایگاه داده با Prolog
• 66. مفهوم اتحاد (Union) در پایگاه داده
• 67. مفهوم اشتراک (Intersection) در پایگاه داده
• 68. مفهوم تفاضل (Difference) در پایگاه داده
• 69. مرتب‌سازی داده‌ها در Prolog
• 70. فیلتر کردن داده‌ها در Prolog
• 71. ساختارهای داده پیچیده‌تر
• 72. مثال‌هایی از طراحی سیستم‌های خبره ساده
• 73. مقدمه‌ای بر پردازش زبان طبیعی
• 74. نمایش جملات در Prolog
• 75. تحلیل ساختاری جملات ساده
• 76. تولید جملات ساده
• 77. مقدمه‌ای بر یادگیری ماشین (رویکرد منطقی)
• 78. یادگیری قواعد از داده‌ها
• 79. تشخیص الگو با Prolog
• 80. محدودیت‌های Micro-PROLOG
• 81. مقایسه با Prolog استاندارد
• 82. پروژه‌های عملی با Micro-PROLOG
• 83. طراحی یک سیستم پرسش و پاسخ ساده
• 84. پیاده‌سازی یک بازی منطقی ساده
• 85. مقدمه‌ای بر اخلاق حرفه‌ای در برنامه‌نویسی
• 86. حفظ حریم خصوصی داده‌ها
• 87. امنیت اطلاعات و جلوگیری از نفوذ مخرب
• 88. مسئولیت‌پذیری در قبال کد نوشته شده
• 89. اهمیت مستندسازی کد
• 90. کاربرد Prolog در حل مسائل علمی
• 91. نمایش مسائل ریاضی در Prolog
• 92. حل معادلات ساده با Prolog
• 93. بهینه‌سازی برنامه‌های Prolog
• 94. نکات پیشرفته در برنامه‌نویسی منطقی
• 95. معرفی منابع بیشتر برای یادگیری Prolog
• 96. جمع‌بندی مباحث دوره
• 97. مروری بر اصول منطق و برنامه‌نویسی منطقی
• 98. آینده برنامه‌نویسی منطقی و هوش مصنوعی