کتاب صوتی برنامه‌سازی خودکار با miniKanren: از تئوری تا عمل

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

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

عنوان دوره: دوره برنامه‌سازی خودکار با miniKanren: از تئوری تا عمل

موضوع کلی: علوم کامپیوتر

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

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

• 1. مقدمه‌ای بر برنامه‌سازی خودکار
• 2. معرفی miniKanren: یک زبان برنامه‌نویسی رابطه‌ای
• 3. نصب و راه‌اندازی miniKanren
• 4. ساختار داده‌ای اصلی در miniKanren: جریانات
• 5. مفاهیم اساسی برنامه‌نویسی رابطه‌ای
• 6. قواعد و محدودیت‌ها در miniKanren
• 7. تعریف روابط با استفاده از `rel`
• 8. استفاده از `==` برای تعریف معادلات
• 9. جستجوی پاسخ با `run`
• 10. نمونه‌های ساده برنامه‌سازی با miniKanren
• 11. حل مسائل منطقی با miniKanren
• 12. تعریف روابط بازگشتی
• 13. کاربرد روابط بازگشتی در حل مسائل
• 14. جستجوی عمیق‌تر در فضای پاسخ‌ها
• 15. بهینه‌سازی جستجو در miniKanren
• 16. استفاده از استراتژی‌های جستجو
• 17. تعریف توابع کمکی
• 18. ترکیب روابط
• 19. ساخت لیست‌ها و کار با آن‌ها
• 20. کار با اعداد و عملیات ریاضی
• 21. کار با رشته‌ها در miniKanren
• 22. نمونه پروژه: حل سودوکو با miniKanren
• 23. نمونه پروژه: تولید جملات گرامری با miniKanren
• 24. نمونه پروژه: حل معماهای منطقی
• 25. پیاده‌سازی الگوریتم‌های جستجو
• 26. برنامه‌نویسی declarative در miniKanren
• 27. مدیریت خطاها و استثناها
• 28. تست و اشکال‌زدایی برنامه‌های miniKanren
• 29. مقایسه miniKanren با سایر ابزارهای برنامه‌سازی خودکار
• 30. کاربرد miniKanren در هوش مصنوعی
• 31. ایجاد یک مفسر ساده با miniKanren
• 32. ساخت یک کامپایلر ساده با miniKanren
• 33. برنامه‌سازی خودکار در حل مسائل برنامه‌نویسی
• 34. استفاده از miniKanren برای تولید تست کیس
• 35. کاربرد miniKanren در اعتبارسنجی کد
• 36. برنامه‌سازی خودکار با استفاده از محدودیت‌ها
• 37. توسعه برنامه‌های پیچیده‌تر با miniKanren
• 38. آشنایی با کتابخانه‌های miniKanren
• 39. مفاهیم پیشرفته در برنامه‌سازی رابطه‌ای
• 40. کاربرد miniKanren در زمینه‌های تخصصی