کتاب صوتی مبانی ریاضی زبان برنامه‌نویسی IPL: منطق و ساختارهای داده

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

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

عنوان دوره: دوره مبانی ریاضی زبان برنامه‌نویسی IPL: منطق و ساختارهای داده

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

موضوع میانی: منطق ریاضی و نظریه مجموعه‌ها

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

• 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. الگوریتم‌های مرتب‌سازی (Bubble Sort, Insertion Sort, Selection Sort)
• 46. پیچیدگی زمانی الگوریتم‌ها (Big O Notation)
• 47. مقدمه‌ای بر زبان برنامه‌نویسی IPL
• 48. انواع داده‌ها در IPL
• 49. عملگرها و عبارات در IPL
• 50. ساختارهای کنترلی در IPL (if, else, while, for)
• 51. توابع و رویه‌ها در IPL
• 52. ورودی و خروجی در IPL
• 53. کار با فایل‌ها در IPL
• 54. آشنایی با ساختارهای داده در IPL
• 55. پیاده‌سازی لیست‌ها در IPL
• 56. پیاده‌سازی پشته‌ها و صف‌ها در IPL
• 57. پیاده‌سازی درخت‌ها در IPL
• 58. مقدمه‌ای بر طراحی الگوریتم‌ها
• 59. الگوریتم‌های حریصانه (Greedy Algorithms)
• 60. برنامه‌نویسی پویا (Dynamic Programming)
• 61. تکنیک تقسیم و غلبه (Divide and Conquer)
• 62. مسائل NP-Complete و P
• 63. مقدمه‌ای بر نظریه اطلاعات
• 64. آنتروپی اطلاعات
• 65. کدگذاری اطلاعات
• 66. فشرده‌سازی اطلاعات
• 67. مقدمه‌ای بر رمزنگاری
• 68. الگوریتم‌های رمزنگاری متقارن
• 69. الگوریتم‌های رمزنگاری نامتقارن
• 70. امضای دیجیتال
• 71. توابع هش
• 72. مقدمه‌ای بر پایگاه داده‌ها
• 73. مدل‌های پایگاه داده
• 74. زبان SQL
• 75. طراحی پایگاه داده‌ها
• 76. بهینه‌سازی پرس و جوها
• 77. مقدمه‌ای بر شبکه‌های کامپیوتری
• 78. مدل OSI
• 79. پروتکل‌های شبکه
• 80. آدرس‌دهی IP
• 81. امنیت شبکه‌ها
• 82. مقدمه‌ای بر هوش مصنوعی
• 83. جستجوی آگاهانه و ناآگاهانه
• 84. یادگیری ماشین
• 85. شبکه‌های عصبی
• 86. پردازش زبان طبیعی
• 87. بینایی کامپیوتر