دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Griffor E.R. سری: Studies in Logic and the Foundations of Mathematics 140 ناشر: سال نشر: 1999 تعداد صفحات: 706 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 33 مگابایت
در صورت تبدیل فایل کتاب Handbook of Computability Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کتاب راهنمای نظریه محاسبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
فصول این جلد همگی سطح ارائه خاص خود را دارند. موضوعات بر اساس علاقه پژوهشی فعال مرتبط با آنها انتخاب شده اند. از آنجایی که علاقه به برخی موضوعات قدیمیتر از موضوعات دیگر است، برخی از ارائهها حاوی تعاریف بنیادی و نتایج اساسی هستند در حالی که برخی دیگر به نظریه ابتدایی بسیار کمی مربوط میشوند و مستقیماً به ارائه نتایج پیشرفته میپردازند. ارائه های نوع دوم در برخی موارد به بررسی کوتاهی از نتایج اخیر (به دلیل پیچیدگی خود روش ها و اثبات ها) محدود می شود. از این رو، تنوع در سطح ارائه از فصلی به فصل دیگر، فقط خود موقعیت مفهومی را منعکس می کند. یکی از نمونههای آن، تلاشهای جمعی برای ایجاد یک نظریه قابل قبول از محاسبات بر روی اعداد واقعی است. در دو دهه گذشته حداقل دو تعریف جدید از عملیات موثر بر روی اعداد واقعی دیده شده است.
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.