Sale
مدل های شمارش و محاسبه جبری: نظریه بازگشتی و پیچیدگی توصیفی ۲۰۱۶
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 2016
دانلود کتاب مدل های شمارش و محاسبه جبری: نظریه بازگشتی و پیچیدگی توصیفی ۲۰۱۶ (Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 2016) با لینک مستقیم و فرمت pdf (پی دی اف)
| نویسنده |
Cyrus F. Nourani |
|---|
ناشر:
Apple Academic Press
۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید
| سال انتشار |
2016 |
|---|---|
| زبان |
English |
| تعداد صفحهها |
310 |
| نوع فایل |
|
| حجم |
2 Mb |
🏷️ قیمت اصلی: 200,000 تومان بود.129,000 تومانقیمت فعلی: 129,000 تومان.
هوشمصنوعی ترجمه کالیبو
توضیحات
معرفی کتاب مدل های شمارش و محاسبه جبری: نظریه بازگشتی و پیچیدگی توصیفی ۲۰۱۶
این کتاب، الگوهای شمارش و محاسبه جبری: نظریه بازگشتی و پیچیدگی توصیفی، تکنیک های جدیدی با الگوهای فانکتوری برای حل مسائل مهم در ریاضیات محض و نظریه محاسبه از دیدگاه جبری ارائه می دهد. در ابتدا، خواننده با دسته ها و الگوهای فانکتوری آشنا می شود که با مثال های جبر کلاین آشنا می شوند.
فهرست کتاب:
۱. روی جلد
۲. فهرست مطالب
۳. فهرست اختصارات
۴. پیشگفتار
۱. مقدمه
۲. دستهبندی محاسبات، پارههای زبان و مدلها
۳. مدلهای مجاز تابعی
۴. محاسبات و زبانهای درختی آغازین
۵. مجموعههای توصیفی و زبانهای نامتناهی
۶. پیچیدگی و محاسبه
۷. سلسله مراتب حسابی و درجات شمارشپذیری
۸. مدلهای حساب پئانو و محاسبهپذیری
۹. تحققپذیری و محاسبهپذیری
۱۴. پشت جلد
توضیحات(انگلیسی)
This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples
Table of Contents
1. Front Cover
2. Contents
3. List of Abbreviations
4. Preface
1. Introduction
2. Computing Categories, Language Fragments, and Models
3. Functorial Admissible Models
4. Initial Tree Computing and Languages
5. Descriptive Sets and Infinitary Languages
6. Complexity and Computing
7. Arithmetic Hierarchy and Enumeration Degrees
8. Peano Arithmetic Models and Computability
9. Realizability and Computability
14. Back Cover
دیگران دریافت کردهاند
✨ ضمانت تجربه خوب مطالعه
بازگشت کامل وجه
در صورت مشکل، مبلغ پرداختی بازگردانده می شود.
دانلود پرسرعت
دانلود فایل کتاب با سرعت بالا
ارسال فایل به ایمیل
دانلود مستقیم به همراه ارسال فایل به ایمیل.
پشتیبانی ۲۴ ساعته
با چت آنلاین و پیامرسان ها پاسخگو هستیم.
ضمانت کیفیت کتاب
کتاب ها را از منابع معتیر انتخاب می کنیم.
