ترجمه فارسی توضیحات (ترجمه ماشینی)
محاسبه‌پذیری، پیچیدگی و زبان‌ها: مبانی علم کامپیوتر نظری
این متن مقدماتی حوزه‌های کلیدی علوم کامپیوتر از جمله تئوری توابع بازگشتی، زبان‌های رسمی و خودکار را پوشش می‌دهد. حداقل پیشینه در ریاضیات رسمی را در نظر می گیرد. این کتاب به پنج بخش قابل محاسبه، گرامر و خودکار، منطق، پیچیدگی و حل نشدنی تقسیم شده است. * تئوری محاسبه پذیری به گونه ای معرفی شده است که حداکثر استفاده را از تجربه برنامه نویسی قبلی می کند، از جمله برنامه “جهانی” که کمتر از یک صفحه را اشغال می کند. * تعداد تمرینات گنجانده شده بیش از سه برابر شده است. * تئوری اتوماتا، منطق محاسباتی و نظریه پیچیدگی به شیوه‌ای انعطاف‌پذیر ارائه شده‌اند و می‌توانند در انواع ترتیبات مختلف پوشش داده شوند.
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. * Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a “universal” program that takes up less than a page. * The number of exercises included has more than tripled. * Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.