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

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

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

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

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

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

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

• 1. مقدمه‌ای بر برنامه‌نویسی منطقی
• 2. منطق گزاره‌ای: اصول و قواعد
• 3. جدول درستی: ساخت و کاربرد
• 4. منطق مرتبه اول: مفاهیم پایه
• 5. متغیرها و کمیت‌کننده‌ها در منطق
• 6. استنتاج منطقی: قواعد استنتاج
• 7. اثبات‌های منطقی: روش‌های مختلف
• 8. حل مسائل با استفاده از منطق
• 9. مقدمه‌ای بر زبان‌های برنامه‌نویسی منطقی
• 10. پروگرا밍 با پرولوگ: سینتکس و قواعد
• 11. متغیرها و داده‌ها در پرولوگ
• 12. قواعد و حقایق در پرولوگ
• 13. بازگشت و استنتاج در پرولوگ
• 14. لیست‌ها و ساختارهای داده‌ای در پرولوگ
• 15. عملگرها و توابع در پرولوگ
• 16. ورودی و خروجی در پرولوگ
• 17. برنامه‌نویسی بازگشتی در پرولوگ
• 18. کاربرد پرولوگ در حل مسائل
• 19. مقدمه‌ای بر زبان‌های برنامه‌نویسی منطقی دیگر
• 20. Datalog: مفاهیم و کاربردها
• 21. ASP (Answer Set Programming): اصول و قواعد
• 22. منطق فازی: مفاهیم پایه
• 23. استنتاج فازی و سیستم‌های مبتنی بر فاز
• 24. شبکه‌های پتری: مدل‌سازی سیستم‌های همزمان
• 25. استفاده از منطق در سیستم‌های خبره
• 26. استنتاج مبتنی بر قانون در سیستم‌های خبره
• 27. نمایش دانش و استدلال
• 28. حل تعارض در سیستم‌های خبره
• 29. مقدمه‌ای بر استدلال غیر یکنواخت
• 30. استدلال پیش‌فرض و استدلال ابداعی
• 31. کاربرد منطق در تایید صحت نرم‌افزار
• 32. تایید مدل و تایید قضیه
• 33. روش‌های رسمی در توسعه نرم‌افزار
• 34. منطق زمانی: مفاهیم و کاربردها
• 35. بررسی و تایید سیستم‌های Real-time
• 36. بهینه‌سازی استنتاج منطقی
• 37. روش‌های شاخص‌گذاری و جستجو
• 38. حل مسائل NP-کامل با استفاده از منطق
• 39. برنامه‌نویسی محدودیت‌ها (Constraint Programming)
• 40. کاربرد منطق در هوش مصنوعی
• 41. استدلال خودکار و حل مسئله
• 42. یادگیری ماشین و منطق
• 43. استخراج دانش از داده‌ها با استفاده از منطق
• 44. منطق و رباتیک
• 45. برنامه‌نویسی منطقی برای ربات‌ها
• 46. تصمیم‌گیری و برنامه‌ریزی با استفاده از منطق