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

ساختارهای محاسباتی و سلسله مراتب فراحسابی

Computable Structures and the Hyperarithmetical Hierarchy

دانلود کتاب Computable Structures and the Hyperarithmetical Hierarchy (به فارسی: ساختارهای محاسباتی و سلسله مراتب فراحسابی) نوشته شده توسط «C.J. Ash – J. Knight»

اطلاعات کتاب ساختارهای محاسباتی و سلسله مراتب فراحسابی

موضوع اصلی: منطق

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

ناشر: Elsevier

نویسنده: C.J. Ash – J. Knight

زبان: English

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

سال انتشار: 2000

تعداد صفحه: 363

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

کد کتاب: 9780444500724 , 0444500723

نوبت چاپ: 1st ed

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

این کتاب یک برنامه تحقیقاتی در نظریه ساختار محاسباتی را شرح می دهد. هدف، یافتن شرایط تعریف پذیری مربوط به مرزهای پیچیدگی است که تحت ایزومورفیسم باقی می مانند. نتایج برای انواع ساختارهای آشنا (گروه‌ها، فیلدها، فضاهای برداری، جبرهای بولی ترتیب‌های خطی، گروه‌های 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).

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

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