دانلود کتاب Computable Structures and the Hyperarithmetical Hierarchy
49,000 تومان
ساختارهای محاسباتی و سلسله مراتب فراحسابی
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Elsevier |
| تعداد صفحه | 363 |
| حجم فایل | 16 مگابایت |
| کد کتاب | 9780444500724,0444500723 |
| نوبت چاپ | اولین ویرایش |
| نویسنده | C.J. Ash, J. Knight |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2000 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ساختارهای محاسباتی و سلسله مراتب فراحسابی
این کتاب یک برنامه تحقیقاتی در نظریه ساختار محاسباتی را شرح می دهد. هدف، یافتن شرایط تعریف پذیری مربوط به مرزهای پیچیدگی است که تحت ایزومورفیسم باقی می مانند. نتایج برای انواع ساختارهای آشنا (گروهها، فیلدها، فضاهای برداری، جبرهای بولی ترتیبهای خطی، گروههای p آبلی، مدلهای حساب) اعمال میشود. در حال حاضر نتایج جالب بسیاری وجود دارد، اما سوالات طبیعی بسیاری نیز وجود دارد که هنوز باید پاسخ داده شوند. این کتاب از این نظر مستقل است که شامل مطالب پسزمینه ضروری از نظریه بازگشت (نشانگذاریهای ترتیبی، سلسلهمراتب فراحسابی) و نظریه مدل (فرمولهای بینهایت، ویژگیهای سازگاری) است.
Computable Structures and the Hyperarithmetical Hierarchy
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).
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.