کتاب صوتی برنامه و ماشین: سفری از منطق انتزاعی تا اجرای واقعی

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

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

عنوان کتاب: کتاب برنامه و ماشین: سفری از منطق انتزاعی تا اجرای واقعی

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

موضوع میانی: نظریه محاسبات و زبان‌های صوری

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

• 1. منطق گزاره‌ای: مفاهیم پایه
• 2. جدول ارزش و معادل منطقی
• 3. قوانین دمورگان و ساده‌سازی عبارات منطقی
• 4. فرم‌های نرمال عطفی و فصلی (CNF و DNF)
• 5. منطق محمولات: معرفی سورها
• 6. کمیت‌بندی و روابط بین اشیاء
• 7. استنتاج در منطق محمولات
• 8. اثبات قضیه به روش Resolution
• 9. اصول استقرایی: پایه و گام استقرا
• 10. استقرای قوی و کاربردهای آن
• 11. مجموعه‌ها: تعاریف و عملیات پایه
• 12. روابط: خواص روابط (بازتابی، تقارنی، تعدی)
• 13. توابع: تعاریف و انواع توابع
• 14. شمارش‌پذیری و ناشمارش‌پذیری
• 15. مفهوم زبان: الفبا، رشته و زبان
• 16. گرامرهای صوری: تعریف و انواع
• 17. گرامرهای مستقل از متن (CFG)
• 18. اشتقاق و درخت اشتقاق
• 19. ابهام در گرامرهای مستقل از متن
• 20. ساده‌سازی گرامرهای مستقل از متن
• 21. فرم نرمال چامسکی (Chomsky Normal Form)
• 22. فرم نرمال گریباک (Greibach Normal Form)
• 23. ماشین‌های پشته‌ای (Pushdown Automata)
• 24. زبان‌های پذیرفته شده توسط PDA
• 25. ارتباط بین CFG و PDA
• 26. عبارت‌های منظم (Regular Expressions)
• 27. اتوماتای متناهی قطعی (DFA)
• 28. اتوماتای متناهی غیرقطعی (NFA)
• 29. تبدیل NFA به DFA
• 30. حداقل‌سازی DFA
• 31. زبان‌های منظم و خواص بستاری آن‌ها
• 32. لم پمپاژ برای زبان‌های منظم
• 33. معادلیت زبان‌های منظم، عبارت‌های منظم و DFAها
• 34. گرامرهای حساس به متن (Context-Sensitive Grammars)
• 35. ماشین‌های تورینگ: مدل پایه
• 36. پیکربندی و انتقال در ماشین تورینگ
• 37. زبان‌های پذیرفته شده توسط ماشین تورینگ
• 38. انواع ماشین‌های تورینگ: چند نواره، غیرقطعی
• 39. ماشین تورینگ همگانی (Universal Turing Machine)
• 40. کدگذاری ماشین تورینگ
• 41. مسئله توقف (Halting Problem)
• 42. اثبات غیرقابل تصمیم بودن مسئله توقف
• 43. کاهش (Reduction): مفهوم و مثال‌ها
• 44. زبان‌های بازگشتی و بازگشتی شمارا
• 45. ماشین‌های تورینگ و الگوریتم‌ها
• 46. تز چرچ-تورینگ (Church-Turing Thesis)
• 47. توابع بازگشتی
• 48. محاسبه‌پذیری و توابع محاسبه‌پذیر
• 49. تحلیل‌پذیری و غیرقابل تحلیل‌پذیری
• 50. سلسله مراتب چامسکی
• 51. پیچیدگی زمانی: تعریف و نماد O بزرگ
• 52. پیچیدگی فضایی: تعریف و نماد O بزرگ
• 53. کلاس پیچیدگی P
• 54. کلاس پیچیدگی NP
• 55. مسائل NP-Complete
• 56. اثبات NP-Completeness با کاهش
• 57. مسئله SAT (Satisfiability)
• 58. قضیه کوک-لوین (Cook-Levin Theorem)
• 59. مسائل NP-Hard
• 60. استراتژی‌های حل مسائل NP-Complete
• 61. الگوریتم‌های تقریبی
• 62. پیچیدگی الگوریتم‌های جستجو
• 63. پیچیدگی الگوریتم‌های مرتب‌سازی
• 64. الگوریتم‌های تقسیم و غلبه
• 65. الگوریتم‌های برنامه‌نویسی پویا
• 66. الگوریتم‌های حریصانه
• 67. نظریه اطلاعات: آنتروپی
• 68. کدگذاری هافمن
• 69. کدگذاری شانون-فانو
• 70. نظریه کدگذاری: کد تصحیح خطا
• 71. طراحی کامپایلر: مراحل کامپایل
• 72. تحلیل لغوی (Lexical Analysis)
• 73. تحلیل نحوی (Syntax Analysis)
• 74. تحلیل معنایی (Semantic Analysis)
• 75. تولید کد میانی (Intermediate Code Generation)
• 76. بهینه‌سازی کد (Code Optimization)
• 77. تولید کد نهایی (Code Generation)
• 78. تخصیص ثبات (Register Allocation)
• 79. مدیریت حافظه
• 80. جمع‌آوری زباله (Garbage Collection)
• 81. سیستم‌های عامل: مفاهیم پایه
• 82. مدیریت فرآیند (Process Management)
• 83. زمان‌بندی فرآیند (Process Scheduling)
• 84. مدیریت حافظه در سیستم عامل
• 85. فایل سیستم (File System)
• 86. شبکه‌های کامپیوتری: مدل OSI
• 87. پروتکل TCP/IP
• 88. امنیت کامپیوتر: تهدیدها و آسیب‌پذیری‌ها
• 89. رمزنگاری: الگوریتم‌های متقارن و نامتقارن
• 90. امضای دیجیتال
• 91. پایگاه داده: مدل رابطه‌ای
• 92. زبان SQL
• 93. نظریه نرمال‌سازی
• 94. تراکنش‌ها و کنترل همروندی
• 95. داده‌کاوی: مفاهیم پایه
• 96. یادگیری ماشین: الگوریتم‌های پایه
• 97. هوش مصنوعی: جستجو و حل مسئله
• 98. سیستم‌های خبره
• 99. رباتیک: مفاهیم و کاربردها
• 100. آینده نظریه محاسبات و چالش‌ها