ترجمه فارسی توضیحات (ترجمه ماشینی)
محاسبه پذیری: کتاب طرح ریاضی
برای ریاضیدانان و دانشمندان کامپیوتری که فقط در یک دوره آموزشی در این زمینه قرار خواهند گرفت، محاسبه پذیری: Aکتاب طرح ریاضی مقدمه ای کوتاه اما دقیق برای نظریه انتزاعی ارائه می دهد. محاسبات، که گاهی اوقات به عنوان نظریه بازگشت نیز شناخته می شود. مضامین اصلی در تئوری محاسبات، مانند قضیه رایس و قضیه بازگشتی را توسعه میدهد و گزارشی سیستماتیک از نظریه پیچیدگی بلوم و همچنین مقدمهای بر نظریه اعداد و توابع واقعی قابل محاسبه ارائه میدهد. این کتاب به عنوان یک متن دانشگاهی در نظر گرفته شده است، اما ممکن است برای مطالعه شخصی نیز استفاده شود. تمرین ها و راه حل های مناسب گنجانده شده است.
Aimed at mathematicians and computer scientists who will only be exposed to one course in this area, Computability: AMathematical Sketchbook provides a brief but rigorous introduction to the abstract theory of computation, sometimes also referred to as recursion theory. It develops major themes in computability theory, such as Rice’s theorem and the recursion theorem, and provides a systematic account of Blum’s complexity theory as well as an introduction to the theory of computable real numbers and functions. The book is intended as a university text, but it may also be used for self-study; appropriate exercises and solutions are included.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.