نرم افزار: سیستم ها: محاسبات علمی

نظریه بازگشت، تعمیم ها و کاربردهای آن

Recursion Theory, its Generalisations and Applications

دانلود کتاب Recursion Theory, its Generalisations and Applications (به فارسی: نظریه بازگشت، تعمیم ها و کاربردهای آن) نوشته شده توسط «F. R. Drake – S. S. Wainer»

اطلاعات کتاب نظریه بازگشت، تعمیم ها و کاربردهای آن

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: F. R. Drake – S. S. Wainer

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1980

تعداد صفحه: 327

حجم کتاب: 3 مگابایت

کد کتاب: 052123543X , 9780521235433

توضیحات کتاب نظریه بازگشت، تعمیم ها و کاربردهای آن

تئوری بازگشت – که اکنون شاخه ای تثبیت شده از ریاضیات محض است که در 35 سال گذشته به سرعت رشد کرده است – با نظریه کلی (انتزاعی) آن دسته از عملیاتی که ما آنها را “قابل محاسبه” توسط ماشین های ایده آل تصور می کنیم، سروکار دارد. این تئوری برخاسته و معمولاً هنوز هم به عنوان شاخه ای از منطق ریاضی در نظر گرفته می شود. این کتاب مجموعه‌ای از مقالات تحقیقاتی/پیمایشی پیشرفته توسط محققان برجسته در این زمینه است که بر اساس سخنرانی‌های آنها در Colloquium منطق لیدز در سال 1979 ارائه شده است. به این ترتیب، دیدگاهی به روز از ایده‌ها و تحولات فعلی در این زمینه ارائه می‌کند. نظریه بازگشت به عنوان یک کل مشارکت‌های فردی به‌طور طبیعی با هم هماهنگ می‌شوند تا یک نمای کلی از تمام زمینه‌های اصلی تحقیق در این زمینه ارائه کنند. بنابراین منبع مهم و ارزشمندی برای محققان پیشرفته و دانشجویان پژوهشگر در ریاضیات و علوم کامپیوتر (به ویژه در اروپا، ایالات متحده آمریکا و اتحاد جماهیر شوروی) خواهد بود.

Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being `computable’ by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR).

دانلود کتاب «نظریه بازگشت، تعمیم ها و کاربردهای آن»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان