سپنتا کتاب اکسپرس
کتاب منطق و نظریه مجموعه‌ها در علوم کامپیوتر

کتاب منطق و نظریه مجموعه‌ها در علوم کامپیوتر

انتخاب پلن

انتخاب پلن برای ادامه خرید الزامی است.

پرداخت اقساطی
در صورت خرید اقساطی هر قسط: 62,488 تومان
۴ قسط ماهانه. بدون سود، چک و ضامن.
پرداخت اقساطی با دیجی‌پی پرداخت اقساطی با ترب‌پی

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

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

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

عنوان دوره: دوره منطق و نظریه مجموعه‌ها در علوم کامپیوتر

موضوع کلی: علوم پایه کامپیوتر و مهندسی

موضوع میانی: مبانی ریاضیات گسسته

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

  • 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. اصل شمول و عدم شمول در شمارش
  • 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. نمادگذاری O بزرگ و O کوچک
  • 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. رمزنگاری متقارن (مفهوم)

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

نظرات

هنوز نظری ثبت نشده است.

وارد شوید تا نظر ثبت کنید.