دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Definability and Computability
دانلود کتاب قابلیت تعریف و محاسبه
مشخصات کتاب
Definability and Computability
ویرایش: 1996
نویسندگان: Yuri L. Ershov
سری: Siberian School of Algebra and Logic
ISBN (شابک) : 0306110393, 9780306110399
ناشر: Springer
سال نشر: 1996
تعداد صفحات: 140
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب قابلیت تعریف و محاسبه: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، ریاضیات، جبر و مثلثات، حساب دیفرانسیل و انتگرال، هندسه، آمار، علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب Definability and Computability به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب قابلیت تعریف و محاسبه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب قابلیت تعریف و محاسبه
در این کتاب، یوری ال. ارشوف این دیدگاه را مطرح می کند که محاسبه پذیری - به معنای وسیع - می تواند به عنوان قابلیت تعریف سیگما در مجموعه های مناسب در نظر گرفته شود. او یک رویکرد جدید برای ارائه قضیه ناقص بودن گودل بر اساس استفاده سیستماتیک از فرمول ها با کمی سازهای محدود ارائه می دهد. این جلد همچنین شامل یک توضیح جدید در مورد مبانی نظریه مجموعه‌های قابل قبول با urelements است که از قضیه گاندی در سراسر توسعه نظریه استفاده می‌کند. سایر موضوعات مورد بحث عبارتند از: اجبار، تعریف سیگما، منطق پویا، و گزاره های سیگما از انواع محدود.
توضیحاتی درمورد کتاب به خارجی
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.
