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

📚 کتاب آموزشی جامع

📚 اطلاعات کتاب

عنوان کتاب: کتاب تئوری زبان‌های برنامه‌نویسی و سیستم‌ها

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

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

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

• 1. مبانی نظری زبان‌های برنامه‌نویسی
• 2. فراهم‌سازی زبان‌های برنامه‌نویسی
• 3. نحو (Syntax) زبان‌های برنامه‌نویسی
• 4. گرامرهای مستقل از متن (Context-Free Grammars)
• 5. تجزیه (Parsing)
• 6. تجزیه از بالا به پایین (Top-Down Parsing)
• 7. تجزیه از پایین به بالا (Bottom-Up Parsing)
• 8. تجزیه‌گرهای LL
• 9. تجزیه‌گرهای LR
• 10. تحلیل معنایی (Semantic Analysis)
• 11. تفسیر معنایی (Semantic Interpretation)
• 12. تعیین نوع (Type Checking)
• 13. سیستم‌های نوع (Type Systems)
• 14. استنتاج نوع (Type Inference)
• 15. قواعد نوع (Type Rules)
• 16. مدیریت حافظه (Memory Management)
• 17. تخصیص حافظه (Memory Allocation)
• 18. جمع‌آوری زباله (Garbage Collection)
• 19. مدیریت پشته (Stack Management)
• 20. مدیریت هیپ (Heap Management)
• 21. مدل‌های اجرایی (Execution Models)
• 22. ماشین‌های انتزاعی (Abstract Machines)
• 23. ماشین پشته (Stack Machine)
• 24. ماشین کد سه‌تایی (Three-Address Code)
• 25. ماشین مجازی جاوا (Java Virtual Machine - JVM)
• 26. فراهم‌سازی کامپایلر (Compiler Construction)
• 27. مراحل کامپایل (Compiler Phases)
• 28. تحلیل لغوی (Lexical Analysis)
• 29. تحلیل نحوی (Syntactic Analysis)
• 30. تحلیل معنایی (Semantic Analysis)
• 31. تولید کد میانی (Intermediate Code Generation)
• 32. بهینه‌سازی کد (Code Optimization)
• 33. تولید کد نهایی (Final Code Generation)
• 34. طراحی زبان‌های برنامه‌نویسی (Programming Language Design)
• 35. پارادایم‌های برنامه‌نویسی (Programming Paradigms)
• 36. برنامه‌نویسی دستوری (Imperative Programming)
• 37. برنامه‌نویسی شیءگرا (Object-Oriented Programming - OOP)
• 38. برنامه‌نویسی تابعی (Functional Programming)
• 39. برنامه‌نویسی منطقی (Logic Programming)
• 40. برنامه‌نویسی همزمان (Concurrent Programming)
• 41. برنامه‌نویسی توزیع شده (Distributed Programming)
• 42. مفاهیم اصلی در طراحی زبان
• 43. متغیرها و مقادیر (Variables and Values)
• 44. انواع داده (Data Types)
• 45. عملگرها (Operators)
• 46. عبارات (Expressions)
• 47. دستورات (Statements)
• 48. ساختارهای کنترلی (Control Structures)
• 49. توابع و رویه‌ها (Functions and Procedures)
• 50. نشانگرها (Pointers)
• 51. ساختارهای داده (Data Structures)
• 52. کلاس‌ها و اشیاء (Classes and Objects)
• 53. وراثت (Inheritance)
• 54. چندریختی (Polymorphism)
• 55. کپسوله‌سازی (Encapsulation)
• 56. انتزاع (Abstraction)
• 57. برنامه‌نویسی جنریک (Generic Programming)
• 58. برنامه‌نویسی مبتنی بر مولفه (Component-Based Programming)
• 59. برنامه‌نویسی مبتنی بر سرویس (Service-Oriented Programming)
• 60. برنامه‌نویسی واکنشی (Reactive Programming)
• 61. برنامه‌نویسی آسکورونوس (Asynchronous Programming)
• 62. مدل‌های همزمانی (Concurrency Models)
• 63. نخ‌ها (Threads)
• 64. فرآیندها (Processes)
• 65. کانال‌ها (Channels)
• 66. قفل‌ها (Locks)
• 67. موازی‌سازی (Parallelism)
• 68. توزیع (Distribution)
• 69. سیستم‌های عامل (Operating Systems)
• 70. ماشین‌های مجازی (Virtual Machines)
• 71. رانتایم (Runtime Systems)
• 72. فراهم‌سازی زبان‌های جدید
• 73. تحلیل زبان‌های موجود
• 74. مقایسه زبان‌های برنامه‌نویسی
• 75. کارایی زبان‌های برنامه‌نویسی
• 76. امنیت زبان‌های برنامه‌نویسی
• 77. قابلیت اطمینان زبان‌های برنامه‌نویسی
• 78. قابلیت نگهداری کد (Maintainability)
• 79. قابلیت خوانایی کد (Readability)
• 80. ابزارهای توسعه (Development Tools)
• 81. مفسرها (Interpreters)
• 82. کامپایلرها (Compilers)
• 83. دیباگرها (Debuggers)
• 84. پروفایلرها (Profilers)
• 85. سیستم‌های ساخت (Build Systems)
• 86. مدیریت وابستگی (Dependency Management)
• 87. مستندسازی کد (Code Documentation)
• 88. تست واحد (Unit Testing)
• 89. تست یکپارچگی (Integration Testing)
• 90. تست پذیرش (Acceptance Testing)
• 91. تست عملکرد (Performance Testing)
• 92. تست امنیتی (Security Testing)
• 93. روش‌های رسمی (Formal Methods)
• 94. اثبات صحت (Correctness Proofs)
• 95. مدل‌های رسمی (Formal Models)
• 96. تحلیل پوشش کد (Code Coverage Analysis)
• 97. تحلیل جریان داده (Data Flow Analysis)
• 98. تحلیل جریان کنترل (Control Flow Analysis)
• 99. تحلیل وابستگی (Dependency Analysis)
• 100. سیستم‌های نوع پیشرفته (Advanced Type Systems)