کتاب کاربرد منطق در علوم کامپیوتر با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB
249,950 تومان
🎓 دوره آموزشی جامع
📚 اطلاعات دوره
عنوان دوره: دوره کاربرد منطق در علوم کامپیوتر
موضوع کلی: مبانی منطق و استدلال
موضوع میانی: منطق ریاضی
📋 سرفصل‌های دوره
- 1. مقدمه‌ای بر منطق ریاضی
- 2. جداول صحت و عملگرهای منطقی
- 3. قوانین منطقی و ساده‌سازی عبارات
- 4. منطق گزاره‌ای و کاربردهای آن
- 5. مقدمه‌ای بر منطق محمول‌ها
- 6. مقداردهی سراسری و وجودی
- 7. استنتاج منطقی و روش‌های اثبات
- 8. استنتاج قیاسی و استقرایی
- 9. سیستم‌های اثبات خودکار
- 10. منطق مرتبه اول
- 11. نمایش دانش با منطق
- 12. زبان‌های توصیفی و OWL
- 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. زبان‌های توصیف سخت‌افزار (VHDL/Verilog)
- 41. منطق برنامه‌نویسی و پارادایم‌ها
- 42. منطق در پایگاه‌های داده رابطه‌ای
- 43. بهینه‌سازی پرس و جو در پایگاه داده
- 44. منطق و امنیت اطلاعات
- 45. منطق و رمزنگاری
نظرات
هنوز نظری ثبت نشده است.
وارد شوید تا نظر ثبت کنید.