کتاب منطق گزارهای: مبانی و کاربردها با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB
249,950 تومان
🎓 دوره آموزشی جامع
📚 اطلاعات دوره
عنوان دوره: دوره منطق گزارهای: مبانی و کاربردها
موضوع کلی: مبانی منطق و استدلال
موضوع میانی: منطق ریاضی
📋 سرفصل‌های دوره
- 1. مقدمه‌ای بر منطق گزارهای
- 2. جداول ارزش و عملیات منطقی
- 3. عملگرهای منطقی: نقیض، عطف و فصل
- 4. عملگرهای شرطی و دوشرطی
- 5. تعریف گزاره و ارزش صدق
- 6. تعبیر گزاره‌ها به زبان طبیعی
- 7. قواعد استنتاج منطقی
- 8. اثبات استنتاج با استفاده از جداول ارزش
- 9. قانون‌های دیمورگان
- 10. تکلیف منطقی و استلزام
- 11. معادل‌سازی گزاره‌ها
- 12. شکل‌های استاندارد گزاره‌ها
- 13. استنتاج قیاسی و استقرایی
- 14. تطبیق گزاره‌ها با قوانین منطقی
- 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. استنتاج وصفی
نظرات
هنوز نظری ثبت نشده است.
وارد شوید تا نظر ثبت کنید.