توضیحاتی در مورد کتاب Handbook of Computability Theory
نام کتاب : Handbook of Computability Theory
عنوان ترجمه شده به فارسی : کتابچه راهنمای تئوری محاسبات
سری : Studies in Logic and the Foundations of Mathematics 140
نویسندگان : Griffor E.R.
ناشر :
سال نشر : 1999
تعداد صفحات : 706
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 33 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
فصول این جلد همگی سطح ارائه خاص خود را دارند. موضوعات بر اساس علاقه پژوهشی فعال مرتبط با آنها انتخاب شده اند. از آنجایی که علاقه به برخی موضوعات قدیمیتر از موضوعات دیگر است، برخی از ارائهها حاوی تعاریف بنیادی و نتایج اساسی هستند در حالی که برخی دیگر به نظریه ابتدایی بسیار کمی مربوط میشوند و مستقیماً به ارائه نتایج پیشرفته میپردازند. ارائه های نوع دوم در برخی موارد به بررسی کوتاهی از نتایج اخیر (به دلیل پیچیدگی خود روش ها و اثبات ها) محدود می شود. از این رو، تنوع در سطح ارائه از فصلی به فصل دیگر، فقط خود موقعیت مفهومی را منعکس می کند. یکی از نمونههای آن، تلاشهای جمعی برای ایجاد یک نظریه قابل قبول از محاسبات بر روی اعداد واقعی است. در دو دهه گذشته حداقل دو تعریف جدید از عملیات موثر بر روی اعداد واقعی دیده شده است.
توضیحاتی در مورد کتاب به زبان اصلی :
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.