کتاب صوتی منطق گزاره‌ای: مبانی و کاربردهای عملی در توسعه نرم‌افزار

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

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

عنوان دوره: دوره منطق گزاره‌ای: مبانی و کاربردهای عملی در توسعه نرم‌افزار

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

موضوع میانی: منطق گزاره‌ای برای مهندسان نرم‌افزار

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

• 1. مقدمه‌ای بر منطق گزاره‌ای و اهمیت آن در مهندسی نرم‌افزار
• 2. نمادگذاری گزاره‌ها: متغیرها، عملگرها و پرانتزها
• 3. جداول ارزش: مفهوم و ساختار
• 4. عملگرهای منطقی: نقیض (NOT)، عطف (AND)، فصل (OR)
• 5. عملگرهای شرطی: شرطی (IF-THEN)، دو شرطی (IF AND ONLY IF)
• 6. اولویت عملگرهای منطقی و نحوه ارزیابی عبارات پیچیده
• 7. تعبیر گزاره‌ها: حالات درست و نادرست
• 8. قوانین منطقی: قانون نقیض مضاعف، قانون جابه‌جایی، قانون شرکت‌پذیری
• 9. قوانین دمورگان و کاربردهای آن‌ها در ساده‌سازی عبارات
• 10. تطابق منطقی (Logical Equivalence): مفهوم و روش‌های اثبات
• 11. عبارات متناقض (Contradiction)، کاذب (Fallacy) و تکراری (Tautology)
• 12. استنتاج منطقی: قواعد استنتاج
• 13. اثبات قضیه‌ها با استفاده از استنتاج
• 14. قضیه استنتاج شرطی (Modus Ponens) و قضیه استنتاج نقیض (Modus Tollens)
• 15. استنتاج با استفاده از جدول ارزش
• 16. استنتاج با استفاده از قوانین منطقی
• 17. مقدمه‌ای بر فرم‌های نرمال: CNF و DNF
• 18. تبدیل عبارات به فرم نرمال کانجکتیو (CNF)
• 19. تبدیل عبارات به فرم نرمال جدایی (DNF)
• 20. حل مسئله رضایت‌پذیری (Satisfiability Problem)
• 21. کاربرد منطق گزاره‌ای در طراحی مدارهای دیجیتال
• 22. ساده‌سازی مدارهای منطقی با استفاده از جداول کارنو
• 23. پیاده‌سازی عبارات منطقی با استفاده از گیت‌های منطقی
• 24. منطق گزاره‌ای و پایگاه‌های داده: زبان پرس و جو SQL
• 25. منطق گزاره‌ای و سیستم‌های خبره
• 26. منطق گزاره‌ای و تست نرم‌افزار: تولید تست کیس
• 27. منطق گزاره‌ای و تأیید صحت نرم‌افزار (Software Verification)
• 28. منطق گزاره‌ای و امنیت نرم‌افزار: تحلیل آسیب‌پذیری‌ها
• 29. منطق گزاره‌ای و هوش مصنوعی: سیستم‌های استنتاج
• 30. مقدمه‌ای بر منطق مرتبه اول (Predicate Logic)
• 31. تفاوت منطق گزاره‌ای و منطق مرتبه اول
• 32. کاربردهای منطق مرتبه اول در مهندسی نرم‌افزار