ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Computable structures and the hyperarithmetical hierarchy

دانلود کتاب ساختارهای قابل محاسبه و سلسله مراتب فراحسابی

Computable structures and the hyperarithmetical hierarchy

مشخصات کتاب

Computable structures and the hyperarithmetical hierarchy

دسته بندی: منطق
ویرایش: 1 
نویسندگان: ,   
سری: Studies in Logic and the Foundations of Mathematics 144 
ISBN (شابک) : 0444500723, 9780080529523 
ناشر: Elsevier 
سال نشر: 2000 
تعداد صفحات: 363 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 36,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 18


در صورت تبدیل فایل کتاب Computable structures and the hyperarithmetical hierarchy به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ساختارهای قابل محاسبه و سلسله مراتب فراحسابی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ساختارهای قابل محاسبه و سلسله مراتب فراحسابی

این کتاب یک برنامه تحقیقاتی در نظریه ساختار محاسباتی را شرح می دهد. هدف، یافتن شرایط تعریف پذیری مربوط به مرزهای پیچیدگی است که تحت ایزومورفیسم باقی می مانند. نتایج برای انواع ساختارهای آشنا (گروه‌ها، فیلدها، فضاهای برداری، جبرهای بولی ترتیب‌های خطی، گروه‌های p آبلی، مدل‌های حساب) اعمال می‌شود. در حال حاضر نتایج جالب بسیاری وجود دارد، اما سوالات طبیعی بسیاری نیز وجود دارد که هنوز باید پاسخ داده شوند. این کتاب از این نظر مستقل است که شامل مطالب پس‌زمینه لازم از نظریه بازگشت (نشان‌گذاری‌های ترتیبی، سلسله‌مراتب فراحسابی) و نظریه مدل (فرمول‌های بی‌نهایت، ویژگی‌های سازگاری) است.


توضیحاتی درمورد کتاب به خارجی

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties).





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی