فلش‌کارت‌های آموزشی از الگوریتم تا عملگر: سفری به دنیای پارادایم‌های برنامه‌نویسی با رویکرد Carlo Ghezzi

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

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

عنوان دوره: دوره از الگوریتم تا عملگر: سفری به دنیای پارادایم‌های برنامه‌نویسی با رویکرد Carlo Ghezzi

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

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

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

• 1. در ادامه لیست ۱۰۰ سرفصل برای دوره "از الگوریتم تا عملگر: سفری به دنیای پارادایم‌های برنامه‌نویسی با رویکرد Carlo Ghezzi" ارائه شده است:
• 2. تعریف زبان برنامه‌نویسی و هدف آن
• 3. چرایی مطالعه مفاهیم زبان‌های برنامه‌نویسی (با رویکرد Ghezzi)
• 4. تاریخچه مختصر زبان‌های برنامه‌نویسی و تکامل آن‌ها
• 5. معیارهای ارزیابی زبان‌ها: خوانایی، نوشتاری، کارایی، قابلیت اعتماد
• 6. مراحل پردازش زبان: کامپایلر، مفسر، اسمبلر
• 7. سطوح انتزاع در زبان‌های برنامه‌نویسی
• 8. مقدمه‌ای بر نحو (Syntax) و معنی‌شناسی (Semantics)
• 9. روش‌های تعریف نحو: BNF و EBNF
• 10. درخت‌های تجزیه (Parse Trees) و اشتقاق (Derivations)
• 11. چالش‌های طراحی و پیاده‌سازی یک زبان برنامه‌نویسی
• 12. مفاهیم متغیرها، تخصیص و حالت برنامه (Program State)
• 13. تفاوت L-value و R-value
• 14. انواع داده اولیه (Primitive Data Types)
• 15. سیستم‌های نوع (Type Systems): ایستا، پویا، قوی، ضعیف
• 16. بررسی سازگاری نوع (Type Compatibility) و تبدیل نوع (Type Coercion/Casting)
• 17. عبارات (Expressions) و ارزیابی آن‌ها
• 18. عملگرها (Operators)، اولویت و شرکت‌پذیری
• 19. عبارات بولی و منطقی در کنترل جریان
• 20. ساختارهای کنترلی: توالی، انتخاب (If-Else, Switch)
• 21. ساختارهای کنترلی: تکرار (Loops: While, For, Do-While)
• 22. پرش‌های کنترل نشده: دستورات goto و خطرات آن
• 23. آرایه‌ها (Arrays): ساختار، دسترسی، تخصیص و چندبعدی
• 24. رکوردها (Records/Structs) و یونین‌ها (Unions)
• 25. اشاره‌گرها (Pointers) و ارجاعات (References): مبانی و کاربرد
• 26. خطرات اشاره‌گرها: اشاره‌گرهای آویزان (Dangling Pointers) و مستعارسازی (Aliasing)
• 27. تعریف و اهمیت زیربرنامه‌ها (Subprograms: Functions, Procedures)
• 28. محیط‌های نام‌گذاری (Naming Environments) و وضوح (Resolution)
• 29. روش‌های ارسال پارامتر (Parameter Passing Modes): By Value, By Reference, By Result
• 30. حوزه‌های دید (Scope) و پیوند (Binding): ایستا و پویا
• 31. طول عمر (Lifetime) متغیرها و تخصیص ذخیره‌سازی
• 32. مدیریت حافظه زمان اجرا: پشته (Stack) و تخصیص محلی
• 33. رکوردهای فعال‌سازی (Activation Records) و مدیریت توابع
• 34. مدیریت حافظه زمان اجرا: هیپ (Heap) و تخصیص پویا
• 35. تخصیص و آزادسازی حافظه به صورت دستی (Manual Allocation/Deallocation)
• 36. خطرات مدیریت دستی حافظه: نشتی (Memory Leaks) و خطاهای اشاره‌گر
• 37. بازیافت حافظه (Garbage Collection): اصول و ضرورت
• 38. توابع بازگشتی (Recursion) و بهینه‌سازی دم بازگشتی (Tail Recursion Optimization)
• 39. Closures و مدیریت محیط ارجاع‌دهنده
• 40. استثنائات (Exceptions) و مدیریت خطا (Error Handling)
• 41. ویژگی‌های اصلی و مبانی برنامه‌نویسی دستوری
• 42. تاریخچه و زبان‌های شاخص دستوری (Fortran, Algol, C, Pascal)
• 43. انتزاع داده (Data Abstraction) در زبان‌های دستوری
• 44. انواع داده انتزاعی (Abstract Data Types - ADTs): مفهوم و مزایا
• 45. پیاده‌سازی ADTها: ماژول‌ها (Modules) و بسته‌ها (Packages)
• 46. مخفی‌سازی اطلاعات (Information Hiding) در ADTها
• 47. مدیریت حالت (State Management) در برنامه‌نویسی دستوری
• 48. کنترل دسترسی (Access Control) در ساختارهای دستوری
• 49. کارایی و بهینه‌سازی در زبان‌های دستوری
• 50. محدودیت‌ها و چالش‌های برنامه‌نویسی دستوری
• 51. سیر تحول از ADT به برنامه‌نویسی شی‌گرا (OOP)
• 52. مفاهیم پایه: شیء (Object)، کلاس (Class)، نمونه (Instance)
• 53. کپسوله‌سازی (Encapsulation) و اعضای داده/متد
• 54. وراثت (Inheritance): انواع (Single, Multiple) و مکانیزم‌ها
• 55. چندریختی (Polymorphism) از طریق وراثت: Subtype Polymorphism
• 56. ارسال پیام (Message Passing) و تخصیص پویا (Dynamic Dispatch)
• 57. متدهای مجازی (Virtual Methods) و جداول متدهای مجازی (V-tables)
• 58. کلاس‌های انتزاعی (Abstract Classes) و واسط‌ها (Interfaces)
• 59. سربارگذاری عملگر (Operator Overloading) و سربارگذاری متد (Method Overloading)
• 60. Generics و Templateها برای کد عمومی
• 61. ساختار سازنده‌ها (Constructors) و مخرب‌ها (Destructors)
• 62. کنترل دسترسی در کلاس‌ها (Public, Private, Protected)
• 63. رابطه‌های شی‌گرا: ترکیب (Composition) و تجمیع (Aggregation)
• 64. Refinement: Metaprogramming و Reflection در شی‌گرایی
• 65. مبانی و فلسفه برنامه‌نویسی تابعی (Functional Programming - FP)
• 66. معرفی مدل محاسباتی لامبدا کالکولوس (Lambda Calculus)
• 67. توابع خالص (Pure Functions) و عدم وجود اثرات جانبی (Side Effects)
• 68. عدم تغییرپذیری (Immutability) داده‌ها
• 69. توابع مرتبه بالاتر (Higher-Order Functions): دریافت/بازگرداندن توابع
• 70. Currying و Partial Application برای انعطاف‌پذیری توابع
• 71. لیست‌ها و عملیات اصلی روی آن‌ها (Map, Filter, Reduce)
• 72. Recursion در برنامه‌نویسی تابعی و اهمیت آن
• 73. ارزیابی تنبل (Lazy Evaluation) در مقابل ارزیابی مشتاق (Eager Evaluation)
• 74. مدیریت وضعیت (State Management) و I/O در FP (مقدمه‌ای بر Monads)
• 75. ساختارهای داده پایدار (Persistent Data Structures)
• 76. مزایا و چالش‌های برنامه‌نویسی تابعی
• 77. استفاده از FP در زبان‌های چندپارادایمی
• 78. معرفی برنامه‌نویسی منطقی (Logic Programming) و ریشه‌های آن
• 79. اصول استنتاج و استدلال در زبان‌های منطقی
• 80. زبان Prolog: حقایق (Facts)، قوانین (Rules) و پرس‌وجوها (Queries)
• 81. الگوریتم یکسان‌سازی (Unification Algorithm)
• 82. مکانیزم بازگشت به عقب (Backtracking)
• 83. کنترل جریان در Prolog: عملگر برش (Cut Operator)
• 84. نفی با شکست (Negation as Failure)
• 85. کاربردها و محدودیت‌های برنامه‌نویسی منطقی
• 86. مقدمه‌ای بر همزمانی (Concurrency) و موازی‌سازی (Parallelism)
• 87. تفاوت فرآیندها (Processes) و ریسه‌ها (Threads)
• 88. مدل‌های همزمانی مبتنی بر حافظه مشترک (Shared Memory)
• 89. مکانیزم‌های همگام‌سازی: قفل‌ها (Locks)، سمافورها (Semaphores)، مانیتورها (Monitors)
• 90. بن‌بست (Deadlock)، گرسنگی (Starvation) و شرایط مسابقه (Race Conditions)
• 91. مدل‌های همزمانی مبتنی بر پیام‌رسانی (Message Passing) (Actors, CSP)
• 92. برنامه‌نویسی ناهمگام (Asynchronous Programming) و Futures/Promises
• 93. چالش‌ها و الگوهای طراحی در همزمانی
• 94. پشتیبانی از همزمانی در زبان‌های برنامه‌نویسی مدرن
• 95. سیستم‌های نوع پیشرفته: نوع‌سازی وابسته (Dependent Types)، نوع‌سازی جبری (Algebraic Data Types)
• 96. جزئیات پیاده‌سازی بازیافت حافظه: الگوریتم‌های Mark-Sweep، Copying، Reference Counting
• 97. مدل‌های رسمی معنی‌شناسی: Operational, Denotational, Axiomatic Semantics (مقایسه و عمق‌بخشیدن)
• 98. زبان‌های مخصوص دامنه (Domain-Specific Languages - DSLs): طراحی و پیاده‌سازی
• 99. زبان‌های چندپارادایمی (Multi-Paradigm Languages) و همزیستی آن‌ها
• 100. تأیید رسمی برنامه (Formal Program Verification) و اثبات درستی