اپلیکیشن اندرویدی فلش‌کارت آموزشی برنامه‌نویسی پیشرفته با Rust برای سیستم‌های قابل اعتماد

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

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

عنوان دوره: دوره برنامه‌نویسی پیشرفته با Rust برای سیستم‌های قابل اعتماد

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

موضوع میانی: برنامه‌نویسی ایمن و سطح پایین

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

• 1. مبانی زبان Rust و فلسفهٔ آن
• 2. نصب و پیکربندی محیط Rust
• 3. انواع داده‌های پایه‌ای و عملیات بر روی آن‌ها
• 4. ساختارهای کنترلی: شرط‌ها و حلقه‌ها
• 5. توابع و پارامترها در Rust
• 6. مالکیت (Ownership)، قرض گرفتن (Borrowing) و عمر (Lifetimes)
• 7. ساختارهای داده‌ای: Structs و Enums
• 8. استفاده از Traits برای انتزاع رفتار
• 9. مدیریت خطا با Result و Option
• 10. ماژول‌ها و سازماندهی کد
• 11. مدیریت وابستگی‌ها با Cargo
• 12. انواع اعداد صحیح و اعشاری در Rust
• 13. رشته‌ها و کاراکترها در Rust
• 14. بردارهای (Vectors) و رشته‌های (Strings) پویا
• 15. نقشه‌ها (HashMaps) و مجموعه‌ها (HashSets)
• 16. دسترسی به حافظه با اشاره‌گرها (Pointers)
• 17. اشاره‌گرهای خام (Raw Pointers) و موارد استفاده
• 18. ایمنی حافظه و مدل Rust
• 19. بررسی زمان کامپایل (Compile-time Checks)
• 20. تست‌نویسی واحد (Unit Testing) در Rust
• 21. مستندسازی کد با Doc Comments
• 22. استفاده از Macroها در Rust
• 23. کدنویسی همزمان (Concurrency) در Rust
• 24. رشته‌ها (Threads) و کانال‌ها (Channels)
• 25. همگام‌سازی (Synchronization) در Rust
• 26. استفاده از Mutex و RwLock
• 27. مدیریت حالت مشترک (Shared State)
• 28. برنامه‌نویسی واکنشی (Reactive Programming)
• 29. مقدمه‌ای بر اثبات‌پذیری (Verifiability)
• 30. اصول اثبات کد (Program Verification)
• 31. مقدمه‌ای بر Verus
• 32. نصب و راه‌اندازی Verus
• 33. نحو پایهٔ Verus
• 34. اثبات ویژگی‌های توابع (Function Specifications)
• 35. شرط‌های پیشین (Preconditions) و پسین (Postconditions)
• 36. تعبیه‌ها (Assertions) و استلزام‌ها (Lemmas)
• 37. اثبات حلقه‌ها (Loop Invariants)
• 38. اثبات انواع داده‌ای (Datatype Specifications)
• 39. استفاده از توابع کمکی (Helper Functions) در Verus
• 40. مدیریت متغیرهای استاتیک (Static Variables)
• 41. بررسی انواع داده‌ای پیچیده
• 42. اثبات برابری (Equality Proofs)
• 43. کار با اشاره‌گرهای ایمن در Verus
• 44. مدیریت حافظه در Verus
• 45. اثبات عدم نشت حافظه (No Memory Leaks)
• 46. اثبات ایمنی دسترسی به حافظه
• 47. اثبات عدم وجود شرایط رقابت (Race Conditions)
• 48. استفاده از قفل‌های اتمیک (Atomic Locks)
• 49. اثبات ویژگی‌های سیستم‌های توزیع‌شده
• 50. مقدمه‌ای بر سیستم‌عامل‌ها
• 51. نحوهٔ تعامل Rust با سخت‌افزار
• 52. برنامه‌نویسی سطح پایین با Rust
• 53. مدیریت وقفه (Interrupt Handling)
• 54. نوشتن درایورهای دستگاه (Device Drivers)
• 55. استفاده از Rust در سیستم‌های نهفته (Embedded Systems)
• 56. اصول سیستم‌های عامل ایمن
• 57. مدیریت فرآیندها (Process Management)
• 58. زمان‌بندی (Scheduling) در سیستم‌های عامل
• 59. مدیریت حافظه در سیستم‌های عامل
• 60. امنیت سیستم‌های عامل
• 61. مقدمه‌ای بر رمزنگاری
• 62. الگوریتم‌های رمزنگاری متقارن
• 63. الگوریتم‌های رمزنگاری نامتقارن
• 64. امضای دیجیتال (Digital Signatures)
• 65. توابع هش (Hash Functions)
• 66. مدیریت کلید (Key Management)
• 67. پروتکل‌های امنیتی شبکه
• 68. امنیت در ارتباطات (TLS/SSL)
• 69. مقدمه‌ای بر پایگاه‌های داده
• 70. طراحی پایگاه دادهٔ رابطه‌ای
• 71. کوئری‌نویسی با SQL
• 72. امنیت پایگاه داده
• 73. مقدمه‌ای بر سیستم‌های توزیع‌شده
• 74. مفاهیم پایه‌ در سیستم‌های توزیع‌شده
• 75. هماهنگی در سیستم‌های توزیع‌شده
• 76. تحمل خطا (Fault Tolerance)
• 77. اثبات ویژگی‌های سیستم‌های توزیع‌شده
• 78. کاربرد Rust در سیستم‌های توزیع‌شده
• 79. مقدمه‌ای بر هوش مصنوعی
• 80. یادگیری ماشین (Machine Learning)
• 81. شبکه‌های عصبی (Neural Networks)
• 82. پردازش زبان طبیعی (Natural Language Processing)
• 83. بینایی ماشین (Computer Vision)
• 84. اخلاق در هوش مصنوعی
• 85. قوانین و مقررات مربوط به هوش مصنوعی در ایران
• 86. مقدمه‌ای بر امنیت سایبری
• 87. آسیب‌پذیری‌های نرم‌افزاری
• 88. تکنیک‌های دفاع در عمق
• 89. امنیت شبکه‌های کامپیوتری
• 90. رمزنگاری کاربردی در امنیت سایبری
• 91. مدیریت حوادث امنیتی
• 92. قوانین و مقررات امنیت سایبری در ایران
• 93. مقدمه‌ای بر مهندسی نرم‌افزار
• 94. چرخهٔ حیات توسعهٔ نرم‌افزار
• 95. روش‌های توسعهٔ چابک (Agile)
• 96. مدیریت پروژهٔ نرم‌افزاری
• 97. معماری نرم‌افزار
• 98. طراحی رابط کاربری (UI/UX)
• 99. تضمین کیفیت نرم‌افزار (QA)
• 100. تست نرم‌افزار