کتاب miniKanren: برنامه‌نویسی منطقی کاربردی با پایتون با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

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

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

عنوان دوره: دوره miniKanren: برنامه‌نویسی منطقی کاربردی با پایتون

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

موضوع میانی: زبان‌های برنامه‌نویسی توصیفی و حل مسئله

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

• 1. مقدمه‌ای بر برنامه‌نویسی منطقی
• 2. miniKanren چیست و چه کاربردهایی دارد؟
• 3. نصب و راه‌اندازی miniKanren در پایتون
• 4. ساختار داده‌ای اصلی: جملات و جایگزینی‌ها
• 5. قواعد و رابطه‌ها در miniKanren
• 6. تعریف متغیرها و دامنه‌های آن‌ها
• 7. عملگرهای اصلی miniKanren: `eq`، `neq`، `and`، `or`
• 8. جستجوی پاسخ با `run`
• 9. تعریف روابط بازگشتی
• 10. حل مسائل با استفاده از روابط بازگشتی
• 11. مثال: یافتن مسیر در یک گراف
• 12. مسئله‌ی هشت وزیر با miniKanren
• 13. استفاده از لیست‌ها و توابع در miniKanren
• 14. تعریف توابع کمکی برای ساده‌سازی کد
• 15. بهینه‌سازی جستجو با استفاده از محدودیت‌ها
• 16. محدودیت‌های عددی و مقایسه‌ها
• 17. محدودیت‌های رشته‌ای
• 18. محدودیت‌های سفارشی
• 19. کار با چند متغیر و روابط پیچیده
• 20. حل مسائل ترکیبی با miniKanren
• 21. مسئله‌ی رنگ‌آمیزی گراف
• 22. مسئله‌ی مجموع زیرمجموعه
• 23. مسئله‌ی کوله‌پشتی
• 24. پیاده‌سازی الگوریتم‌های جستجو (BFS، DFS) با miniKanren
• 25. استفاده از miniKanren برای استنتاج منطقی
• 26. بازنمایی دانش و قوانین
• 27. استنتاج با استفاده از قواعد
• 28. حل مسائل منطقی با miniKanren
• 29. کاربرد miniKanren در حل معماها
• 30. معماهای منطقی کلاسیک (سودوکو، معماهای منطقی با گزینه‌ها)
• 31. ساختن یک موتور استنتاج ساده با miniKanren
• 32. مقدمه‌ای بر برنامه‌نویسی متا (Meta-programming) در miniKanren
• 33. ایجاد DSL (Domain Specific Language) با miniKanren
• 34. ادغام miniKanren با سایر کتابخانه‌های پایتون
• 35. miniKanren و یادگیری ماشین (استنتاج قوانین از داده‌ها)
• 36. حل مسائل برنامه‌ریزی با miniKanren
• 37. بهینه‌سازی کد miniKanren برای عملکرد بهتر
• 38. اشکال‌زدایی و تست کد miniKanren