کتاب صوتی تحلیل سازگاری مقدمات با استفاده از جداول درستی در ریاضیات گسسته

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

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

عنوان دوره: دوره تحلیل سازگاری مقدمات با استفاده از جداول درستی در ریاضیات گسسته

موضوع کلی: مبانی منطق و ریاضیات گسسته

موضوع میانی: ابزارهای صوری در استدلال منطقی

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

• 1. مقدمه‌ای بر منطق گزاره‌ای
• 2. ارزش درستی گزاره‌ها
• 3. عملگرهای منطقی پایه
• 4. نفی (Not)
• 5. عطف (And)
• 6. فصل (Or)
• 7. شرطی (If...then)
• 8. دوشرطی (If and only if)
• 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. مغالطه‌های منطقی
• 46. شناخت مغالطه‌های رایج
• 47. تأثیر مغالطه‌ها بر سازگاری استدلال
• 48. راهکارهای اجتناب از مغالطه‌ها
• 49. کاربرد منطق در علوم کامپیوتر
• 50. مدارهای منطقی
• 51. طراحی مدارهای منطقی
• 52. بهینه‌سازی مدارهای منطقی
• 53. کاربرد منطق در هوش مصنوعی
• 54. سیستم‌های خبره
• 55. استنتاج در سیستم‌های خبره
• 56. یادگیری ماشین و منطق
• 57. کاربرد منطق در ریاضیات
• 58. اثبات‌های ریاضی
• 59. نظریه مجموعه‌ها
• 60. رابطه‌ها و توابع
• 61. کاربرد منطق در فلسفه
• 62. نظریه معرفت
• 63. فلسفه علم
• 64. فلسفه زبان
• 65. مقدمه‌ای بر نظریه گراف
• 66. مفاهیم پایه در نظریه گراف
• 67. انواع گراف‌ها
• 68. مسیر و دور در گراف
• 69. درخت‌ها
• 70. کاربرد نظریه گراف در علوم
• 71. شبکه‌های اجتماعی
• 72. شبکه‌های کامپیوتری
• 73. مسائل بهینه‌سازی در گراف
• 74. مقدمه‌ای بر ترکیبیات
• 75. اصول شمارش
• 76. جایگشت‌ها
• 77. ترکیب‌ها
• 78. قضیه دوجمله‌ای
• 79. مقدمه‌ای بر نظریه اعداد
• 80. اعداد اول
• 81. بزرگترین مقسوم‌علیه مشترک
• 82. کوچکترین مضرب مشترک
• 83. هم‌نهشتی
• 84. کاربرد نظریه اعداد در رمزنگاری
• 85. رمزنگاری متقارن
• 86. رمزنگاری نامتقارن
• 87. امضای دیجیتال
• 88. مقدمه‌ای بر جبر مجرد
• 89. گروه‌ها
• 90. حلقه‌ها
• 91. میدان‌ها
• 92. کاربرد جبر مجرد در علوم
• 93. تبدیلات خطی
• 94. جبر بولی
• 95. مقدمه‌ای بر بهینه‌سازی
• 96. مسائل بهینه‌سازی خطی
• 97. مسائل بهینه‌سازی غیرخطی
• 98. الگوریتم‌های بهینه‌سازی
• 99. کاربرد بهینه‌سازی در صنعت
• 100. مدیریت زنجیره تأمین