کتاب صوتی منطق BASIC: شرط و نتیجه

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

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

عنوان دوره: دوره منطق BASIC: شرط و نتیجه

موضوع کلی: برنامه‌نویسی کاربردی با BASIC

موضوع میانی: عملگرها (ریاضی، مقایسه‌ای، منطقی)

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

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