مشخصات کتاب

Algebraic computability and enumeration models : recursion theory and descriptive complexity

ویرایش:  
نویسندگان: Nourani. Cyrus F.  
سری:  
ISBN (شابک) : 9781771882484, 1771882484 
ناشر: Apple Academic Press 
سال نشر: 2016 
تعداد صفحات: 304 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

کلمات کلیدی مربوط به کتاب محاسبات جبری و مدل های شمارش: نظریه بازگشت و پیچیدگی توصیفی: نظریه تابع، نظریه مدل، توابع قابل محاسبه، جبر، همسانی، جبر کلین، ریاضیات / عمومی

در صورت تبدیل فایل کتاب Algebraic computability and enumeration models : recursion theory and descriptive complexity به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب محاسبات جبری و مدل های شمارش: نظریه بازگشت و پیچیدگی توصیفی

\"این کتاب با عنوان محاسبات پذیری، درختان جبری، مدل های درجه شمارش و کاربردها، تکنیک های جدیدی را با مدل های تابعی برای پرداختن به حوزه های مهم ریاضیات محض و نظریه محاسباتی از دیدگاه جبری ارائه می دهد. خواننده ابتدا با دسته ها و مدل های تابعی آشنا می شود. با مثال‌های جبر کلین برای زبان‌ها. مدل‌های تابعی برای محاسبات Peano به سمت مناطق پیچیدگی محاسباتی مهم در برنامه هیلبرت توضیح داده شده است، که منجر به قابلیت محاسبه با مدل‌های اولیه می‌شود. دسته‌های زبان بی‌نهایت. همچنین برای توضیح پیچیدگی توصیفی با محاسبه‌پذیری بازگشتی با مجموعه‌ها و urelement‌های قابل قبول معرفی شده‌اند. تحقق‌پذیری جبری و طبقه‌ای در چندین سطح مرحله‌بندی می‌شود و به سؤالات محاسباتی جدید با حذف انواع قابل تحقق می‌پردازد. کاربردهای بیشتر برای محاسبات با اولترافیلترها روی مجموعه‌ها و محاسبه‌پذیری درجه تورینگ بررسی می‌شوند. محاسبه‌پذیری مدل‌های تابعی با درختان جبری ارائه شده‌اند که انواع مدل‌های شهودی را درک می‌کنند. تکنیک‌های جدید هموتوپی توسعه‌یافته در جلد نویسنده در نظریه مدل تابعی برای انواع محاسبات مارتین لوف با دسته‌های مدل قابل استفاده است. محاسبات تابعی، القاء و بازگشت با توجه به موارد فوق مورد بررسی قرار می گیرند و تکنیک های محاسباتی جدیدی را با تبدیل های موناد و مجموعه های تصویری ارائه می دهند. این حجم آموزنده به خوانندگان احساس جدیدی نسبت به مدل‌ها، قابلیت محاسبه، مجموعه‌های بازگشتی، پیچیدگی و تحقق پذیری می‌دهد. این کتاب افکار کارکردی، مدل‌ها، محاسبه‌پذیری، مجموعه‌ها، بازگشت، سلسله مراتب حسابی، فیلترها را با مناطق محاسباتی درختی واقعی که به شیوه‌ای بسیار شهودی برای تدریس دانشگاه ارائه شده است، همراه با تمرین‌هایی برای هر فصل جمع‌آوری می‌کند. این کتاب همچنین برای اساتید علوم کامپیوتر و ریاضیات ارزشمند خواهد بود.\"--  بیشتر بخوانید...

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

"This book, Computability, Algebraic Trees, Enumeration Degree Models, and Applications, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic view point. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are introduced also to explain descriptive complexity with recursive computability with admissible sets and urelements. Algebraic and categorical realizability is staged on several levels, addressing new computability questions with omitting types realizably. Further applications to computing with ultrafilters on sets and Turing degree computability are examined. Functorial models computability are presented with algebraic trees realizing intuitionistic types of models. New homotopy techniques developed in the author’s volume on the functorial model theory are applicable to Martin Lof types of computations with model categories. Functorial computability, induction, and recursion are examined in view of the above, presenting new computability techniques with monad transformations and projective sets. This informative volume will give readers a complete new feel for models, computability, recursion sets, complexity, and realizability. This book pulls together functorial thoughts, models, computability, sets, recursion, arithmetic hierarchy, filters, with real tree computing areas, presented in a very intuitive manner for university teaching, with exercises for every chapter. The book will also prove valuable for faculty in computer science and mathematics."--  Read more...

فهرست مطالب

Content: Introduction --
Computing categories, language fragments, and models --
Functorial admissible models --
Initial tree computing and languages --
Descriptive sets and infinitary languages --
Complexity and computing --
Arithmetic hierarchy and enumeration degrees --
Peano arithmetic models and computability --
Realizability and computability.

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

کتاب های تصادفی

دانلود کتاب Going Vegan: The Ultimate Guide To The Vegan Lifestyle 350 Easy and Delicious Recipes

دانلود کتاب Norse Myth In English Poetry (1919)

دانلود کتاب Literary autobiography and Arab national struggles

دانلود کتاب Thermal Radiation from Large Pool Fires

دانلود کتاب Let's eat: recipes from my kitchen notebook