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

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

عنوان دوره: SICP: سفری جذاب به دنیای برنامه‌نویسی و ساختارهای داده

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

موضوع میانی: انتزاع در برنامه‌نویسی و طراحی نرم‌افزار

📋 سرفصل‌های دوره (100 موضوع)

• 1. مقدمه: چرا SICP و مبانی علوم کامپیوتر؟
• 2. عناصر اساسی برنامه‌نویسی: عبارت‌ها و نام‌ها
• 3. ترکیب‌بندی: ساخت برنامه‌ها از قطعات کوچک
• 4. انتزاع: ایجاد رویه‌ها (توابع)
• 5. مدل جایگزینی: درک ارزیابی رویه‌ها
• 6. عبارت‌های شرطی: تصمیم‌گیری در برنامه‌ها (if و cond)
• 7. فرآیندهای بازگشتی (Recursive Processes)
• 8. فرآیندهای تکراری (Iterative Processes)
• 9. مقایسه بازگشت و تکرار: بهینگی و ساختار
• 10. مدل محیط: درک دامنه و تخصیص متغیرها (مقدماتی)
• 11. رویه‌های مرتبه بالاتر: رویه‌ها به عنوان آرگومان
• 12. رویه‌های مرتبه بالاتر: رویه‌ها به عنوان مقدار بازگشتی
• 13. مثال کاربردی: نقطه ثابت (Fixed-Point Iteration)
• 14. مثال کاربردی: روش نیوتن برای یافتن ریشه‌ها
• 15. ساخت رویه‌هایی که رویه می‌سازند
• 16. انتزاع رویه‌ای: کپسوله‌سازی منطق
• 17. توابع بدون نام (Lambda Expressions)
• 18. مدیریت دامنه: بلوک‌های محلی و let
• 19. طراحی برنامه‌ها با افزایش تدریجی انتزاع
• 20. مقدمه‌ای بر داده‌های ساختاریافته
• 21. انتزاع داده: معرفی مفهوم
• 22. داده‌های مرکب: زوج‌ها (Pairs)
• 23. سازنده‌ها (Constructors)، انتخاب‌گرها (Selectors) و گزاره‌ها (Predicates)
• 24. طراحی سیستم‌های داده با انتزاع
• 25. مثال: نمایش اعداد گویا
• 26. موانع انتزاع: جداسازی پیاده‌سازی از رابط
• 27. انتخاب نمایش داده: تأثیر بر طراحی
• 28. لیست‌ها: ساختار بنیادی برای توالی‌ها
• 29. عملیات اصلی روی لیست‌ها: car، cdr، cons
• 30. پردازش توالی‌ها با رویه‌های مرتبه بالاتر
• 31. نگاشت (Mapping) توالی‌ها
• 32. فیلتر کردن (Filtering) توالی‌ها
• 33. انباشت (Accumulating) توالی‌ها (Fold/Reduce)
• 34. توالی‌های سلسله‌مراتبی: درخت‌ها
• 35. نمایش درختان و عملیات روی آن‌ها
• 36. مثال جامع: مشتق‌گیری نمادین
• 37. مجموعه‌ها به عنوان توالی‌ها
• 38. نمایش مجموعه‌ها با درخت‌های جستجوی دودویی
• 39. دیکشنری‌ها و جداول جستجو
• 40. رابط‌های قراردادی: استانداردسازی تعاملات داده
• 41. برنامه‌نویسی داده‌محور: معرفی
• 42. برچسب‌های نوع (Type Tags) در برنامه‌نویسی داده‌محور
• 43. جداول اعزام (Dispatch Tables)
• 44. سبک پیام‌رسانی (Message Passing)
• 45. بسته‌ها و ماژول‌ها: سازماندهی کد
• 46. انتزاع برای انواع داده‌های مختلف (مثال: اعداد مختلط)
• 47. گسترش سیستم‌های داده: افزودن انواع جدید
• 48. مقدمه: مدل‌سازی با زمان و تغییر حالت
• 49. تخصیص (Assignment): `set!` و اثرات جانبی
• 50. حالت محلی (Local State) و اشیاء
• 51. مدل محیط پیشرفته: فریم‌ها و تخصیص حافظه
• 52. مثال: طراحی حساب بانکی
• 53. مثال: تولید اعداد تصادفی
• 54. ساختارهای داده قابل تغییر: لیست‌های تغییرپذیر
• 55. صف‌ها (Queues) با استفاده از داده‌های تغییرپذیر
• 56. جداول هش (Hash Tables) و مدیریت داده
• 57. اشتراک‌گذاری و تغییر حالت: چالش‌ها
• 58. مشکل همگامی (Concurrency) و رقابت بر سر منابع
• 59. مدل‌سازی با جریان‌ها (Streams): جایگزینی برای حالت صریح
• 60. جریان‌های بی‌نهایت و تولید داده پویا
• 61. عملیات روی جریان‌ها: نگاشت و فیلتر (stream-map, stream-filter)
• 62. مثال: غربال اراتوستن با جریان‌ها
• 63. تأخیر در ارزیابی (Delay and Force)
• 64. بهینه‌سازی با Memoization
• 65. مقدمه: برنامه‌نویسی مبتنی بر محدودیت (Constraint Propagation)
• 66. شبیه‌سازی‌ها با اشیاء و حالت
• 67. طراحی پیشرفته اشیاء و الگوهای شیءگرایی
• 68. انتزاع فرازبانی: ساخت مفسرها
• 69. ارزیابی‌گر فراچرخه‌ای: Scheme در Scheme
• 70. ساختار یک مفسر: `eval` و `apply`
• 71. نمایش عبارت‌های زبان
• 72. مدیریت فرم‌های خاص (Special Forms)
• 73. نقش محیط در ارزیابی‌گر
• 74. گسترش مفسر: افزودن قابلیت‌های جدید به زبان
• 75. ارزیابی تنبل (Lazy Evaluation): پیاده‌سازی در مفسر
• 76. مقایسه ارزیابی عادی و کاربردی در مفسر
• 77. برنامه‌نویسی غیرقطعی (Non-Deterministic Programming): معرفی
• 78. `amb` و مفسر `amb`: کاوش فضای جستجو
• 79. راهبردهای جستجو در برنامه‌نویسی غیرقطعی
• 80. مقدمه‌ای بر برنامه‌نویسی منطقی (Logic Programming)
• 81. ماکروها: گسترش نحو زبان
• 82. تبدیل‌های نحوی و اعتبارسنجی
• 83. نقل قول‌های شبه‌معنایی (Quasiquotation)
• 84. مقدمه بر کامپایلرها: از مفسر تا کامپایلر
• 85. ساختار یک کامپایلر: بخش‌های مختلف
• 86. بهینه‌سازی‌های کامپایلر
• 87. زبان‌های خاص دامنه (DSLs): طراحی و پیاده‌سازی
• 88. طراحی زبان‌های برنامه‌نویسی جدید
• 89. مدل ماشین ثبات (Register Machine Model)
• 90. طراحی شبیه‌ساز ماشین ثبات
• 91. مجموعه دستورالعمل‌ها و کنترل جریان
• 92. کامپایل Scheme به ماشین ثبات
• 93. پشته (Stack) و مدیریت کنترل
• 94. جمع‌آوری زباله (Garbage Collection): مدیریت خودکار حافظه
• 95. الگوریتم‌های جمع‌آوری زباله: Mark-Sweep
• 96. الگوریتم‌های جمع‌آوری زباله: Copying
• 97. ماشین‌های مجازی (Virtual Machines)
• 98. ماهیت محاسبات: از سطح بالا تا سطح پایین
• 99. مروری بر اصول SICP: انتزاع، مدل‌سازی و طراحی
• 100. آینده برنامه‌نویسی: چالش‌ها و فرصت‌ها

SICP: سفری جذاب به دنیای برنامه‌نویسی و ساختارهای داده

فراتر از کدنویسی بیاموزید؛ مانند یک معمار نرم‌افزار فکر کنید!

معرفی دوره: چرا این دوره یک نقطه عطف در مسیر حرفه‌ای شماست؟

آیا تا به حال به این فکر کرده‌اید که چه چیزی یک برنامه‌نویس خوب را از یک برنامه‌نویس فوق‌العاده متمایز می‌کند؟ پاسخ در عمق درک مفاهیم بنیادی و توانایی مدیریت پیچیدگی نهفته است. بسیاری از برنامه‌نویسان می‌دانند «چگونه» کد بنویسند، اما تنها بهترین‌ها می‌دانند «چرا» کد خود را به روشی خاص ساختار می‌دهند. این دوره، دروازه‌ای به سوی همین درک عمیق است.

این دوره با الهام مستقیم از کتاب افسانه‌ای "Structure and Interpretation of Computer Programs" (SICP)، که به عنوان کتاب مقدس علوم کامپیوتر در دانشگاه MIT شناخته می‌شود، طراحی شده است. کتابی که ذهن نسل‌ها از بهترین مهندسان نرم‌افزار جهان در شرکت‌هایی مانند گوگل، فیسبوک و آمازون را شکل داده است. ما فلسفه بی‌نظیر این کتاب را گرفته‌ایم و آن را در قالبی مدرن، کاربردی و به زبان فارسی برای شما آماده کرده‌ایم تا شما نیز به این سطح از تفکر محاسباتی دست یابید.

هدف ما در این دوره، آموزش یک زبان یا فریمورک خاص نیست. هدف ما تغییر نگاه شما به برنامه‌نویسی است. شما یاد می‌گیرید که چگونه مسائل پیچیده را به بخش‌های کوچک‌تر و قابل مدیریت تقسیم کنید، چگونه با استفاده از «انتزاع» (Abstraction) سیستم‌های قدرتمند بسازید و چگونه کدی بنویسید که نه تنها کار می‌کند، بلکه زیبا، قابل توسعه و قابل درک است.

درباره دوره: چه چیزی در انتظار شماست؟

این دوره یک بازآفرینی مدرن و کاربردی از مفاهیم اصلی کتاب SICP است. ما مفاهیم تئوریک و عمیق را با مثال‌های عملی، پروژه‌های جذاب و تمرین‌های چالش‌برانگیز ترکیب کرده‌ایم تا یادگیری برای شما لذت‌بخش و مؤثر باشد. در طول این سفر، شما با مفاهیمی روبه‌رو می‌شوید که پایه‌های علوم کامپیوتر را تشکیل می‌دهند و به شما کمک می‌کنند تا هر تکنولوژی جدیدی را با سرعت و درک بیشتری یاد بگیرید.

تمرکز اصلی دوره بر روی «انتزاع» است؛ هنر ساختن دیوارهای مفهومی بین ایده‌های مختلف برای مدیریت پیچیدگی. شما یاد می‌گیرید که چگونه انتزاع‌های رویه‌ای (Procedural Abstraction) و انتزاع‌های داده‌ای (Data Abstraction) را برای ساخت نرم‌افزارهای قدرتمند به کار بگیرید. این دوره به شما یاد می‌دهد که چگونه یک «متفکر» در دنیای نرم‌افزار باشید، نه فقط یک «کدنویس».

موضوعات کلیدی که فرا خواهید گرفت:

• مبانی تفکر محاسباتی: یادگیری اصول اولیه ساخت و ارزیابی رویه‌ها.
• انتزاع رویه‌ای و داده‌ای: هنر ساختن بلوک‌های سازنده نرم‌افزار و مدیریت پیچیدگی.
• برنامه‌نویسی تابعی (Functional Programming): درک عمیق توابع به عنوان شهروند درجه یک (First-class Functions).
• ساختارهای داده و الگوریتم‌ها: پیاده‌سازی و درک ساختارهای داده از پایه.
• مدیریت حالت (State) و حافظه: درک چگونگی عملکرد برنامه‌ها در سطح ماشین.
• برنامه‌نویسی شیءگرا از دیدگاه بنیادی: یادگیری مفاهیم شیءگرایی از صفر.
• متاپروگرمینگ (Metaprogramming): نوشتن کدی که کد تولید می‌کند!
• طراحی مفسر (Interpreter): ساخت یک زبان برنامه‌نویسی ساده از ابتدا تا انتها.

این دوره برای چه کسانی مناسب است؟

این دوره برای طیف وسیعی از علاقه‌مندان به دنیای نرم‌افزار طراحی شده است. اگر شما جزو یکی از گروه‌های زیر هستید، این دوره برای شماست:

• برنامه‌نویسان تازه‌کار: اگر می‌خواهید مسیر حرفه‌ای خود را بر پایه‌ای مستحکم و اصولی بنا کنید و از ابتدا درست فکر کردن را یاد بگیرید.
• توسعه‌دهندگان با تجربه: اگر احساس می‌کنید در چرخه‌ی یادگیری فریمورک‌های جدید گیر کرده‌اید و می‌خواهید درک خود را از مفاهیم بنیادی عمیق‌تر کنید تا به یک معمار نرم‌افزار تبدیل شوید.
• دانشجویان علوم کامپیوتر و مهندسی نرم‌افزار: اگر می‌خواهید مفاهیم تئوریک دانشگاهی را به شکلی عملی و جذاب‌تر بیاموزید و برای مصاحبه‌های فنی شرکت‌های بزرگ آماده شوید.
• علاقه‌مندان به یادگیری عمیق: اگر صرفاً به دنبال یادگیری یک ابزار نیستید و می‌خواهید بدانید کامپیوترها و نرم‌افزارها واقعاً چگونه کار می‌کنند.

چرا این دوره را بگذرانیم؟ (مزیت‌های رقابتی شما)

گذراندن این دوره یک سرمایه‌گذاری بلندمدت روی مهارت‌های شماست. دانشی که در اینجا کسب می‌کنید، تاریخ انقضا ندارد و با تغییر تکنولوژی‌ها بی‌ارزش نمی‌شود.

• ۱. یاد می‌گیرید که چگونه «فکر» کنید، نه فقط چگونه «کد» بزنید

  این دوره ذهن شما را برای حل مسئله تربیت می‌کند. شما یاد می‌گیرید که قبل از نوشتن حتی یک خط کد، مسئله را تحلیل کرده و بهترین ساختار را برای آن طراحی کنید.

• ۲. بر پیچیدگی نرم‌افزار مسلط می‌شوید

  مهم‌ترین مهارت یک مهندس نرم‌افزار ارشد، توانایی مدیریت سیستم‌های پیچیده است. شما با یادگیری هنر انتزاع، این مهارت کلیدی را در خود پرورش خواهید داد.

• ۳. یک بار برای همیشه، اصول را یاد می‌گیرید

  دانش شما دیگر به یک زبان یا فریمورک خاص محدود نخواهد بود. با درک اصول، می‌توانید هر تکنولوژی جدیدی را به سادگی و با عمق بیشتری فرا بگیرید.

• ۴. از دوره‌ای الهام گرفته‌اید که بهترین‌ها را تربیت کرده است

  شما همان مفاهیمی را یاد می‌گیرید که مهندسان برجسته در شرکت‌های پیشرو تکنولوژی با آن رشد کرده‌اند و این شما را در بازار کار متمایز می‌کند.

• ۵. محتوای جامع و پروژه‌محور

  با یک برنامه درسی دقیق و بیش از ۱۰۰ سرفصل جامع، شما یک نقشه راه کامل در اختیار دارید که شما را از مبانی تا طراحی یک زبان برنامه‌نویسی همراهی می‌کند.

نگاهی به سرفصل‌های جامع دوره

ما معتقدیم که یادگیری عمیق نیازمند یک نقشه راه کامل است. به همین دلیل، این دوره با بیش از ۱۰۰ سرفصل دقیق و به‌هم‌پیوسته طراحی شده است تا هیچ نکته‌ای از قلم نیفتد. این سرفصل‌ها شما را قدم به قدم از پایه‌ای‌ترین مفاهیم محاسباتی تا پیشرفته‌ترین تکنیک‌های طراحی نرم‌افزار هدایت می‌کنند.

این برنامه درسی گسترده، به چند بخش اصلی تقسیم شده است:

• بخش اول: ساختن انتزاع با رویه‌ها (Building Abstractions with Procedures) - در این بخش، با عناصر اصلی برنامه‌نویسی مانند متغیرها، توابع و کنترل جریان آشنا می‌شوید و یاد می‌گیرید چگونه فرآیندهای محاسباتی را مدل‌سازی کنید.
• بخش دوم: ساختن انتزاع با داده‌ها (Building Abstractions with Data) - در اینجا به قلب ساختارهای داده سفر می‌کنیم و یاد می‌گیریم چگونه داده‌های پیچیده را به صورت انتزاعی مدل‌سازی و مدیریت کنیم.
• بخش سوم: پیمانه‌ای بودن، اشیاء و حالت (Modularity, Objects, and State) - این بخش به بررسی عمیق مفهوم حالت در برنامه‌ها، هزینه‌ها و مزایای آن و معرفی مدل شیءگرایی از دیدگاه بنیادی می‌پردازد.
• بخش چهارم: انتزاع متازبانی (Metalinguistic Abstraction) - نقطه‌ی اوج دوره! در این بخش هیجان‌انگیز، شما یاد می‌گیرید که چگونه یک مفسر برای یک زبان برنامه‌نویسی طراحی و پیاده‌سازی کنید و به درکی عمیق از نحوه‌ی کار زبان‌ها دست پیدا کنید.
• بخش پنجم: محاسبات با رجیستر ماشین‌ها (Computing with Register Machines) - در بخش پایانی، به سطح پایین‌تری از انتزاع می‌رویم و بررسی می‌کنیم که چگونه کدهای ما در نهایت توسط یک ماشین ساده اجرا می‌شوند و مفاهیم کامپایلرها را لمس می‌کنیم.

این فرصت بی‌نظیر برای سرمایه‌گذاری روی آینده حرفه‌ای خود را از دست ندهید. همین امروز در این سفر شگفت‌انگیز به عمق دنیای علوم کامپیوتر به ما بپیوندید!