مشخصات کتاب

Constructive Models

ویرایش: Softcover reprint of the original 1st ed. 2000 
نویسندگان: Yuri L. Ershov,  Sergey Goncharov  
سری: Siberian School of Algebra and Logic 
ISBN (شابک) : 1461369320, 9781461369325 
ناشر: Springer 
سال نشر: 2012 
تعداد صفحات: 152 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت 

کلمات کلیدی مربوط به کتاب مدل های سازنده: تئوری ماشین، هوش مصنوعی و یادگیری ماشین، علوم کامپیوتر، کامپیوتر و فناوری، الگوریتم‌ها، ساختارهای داده، ژنتیک، مدیریت حافظه، برنامه‌نویسی، کامپیوتر و فناوری، زبان‌های برنامه‌نویسی، آدا، آژاکس، برنامه‌نویسی زبان اسمبلی، بورلند دلفی، سی و سی پلاس پلاس، سی شارپ CSS، طراحی کامپایلر، کامپایلرها، DHTML، اشکال‌زدایی، دلفی، فورترن، جاوا، لیسپ، پرل، پرولوگ، پایتون، RPG، روبی، سویفت، ویژوال بیسیک، XHTML، XML، XSL، کامپیوتر و فناوری، مرجع، سالنامه‌ها و سالنامه‌ها اطلس ها و نقشه ها، مشاغل، کاتالوگ ها و فهرست ها، راهن

در صورت تبدیل فایل کتاب Constructive Models به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مدل های سازنده

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

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

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models.
This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some other researchers (in particular, Nerode and his colleagues). The main themes are the existence of recursive models and applications to fields, algebras, and ordered sets (Ershov), the existence of decidable prime models (Goncharov, Harrington), the existence of decidable saturated models (Morley), the existence of decidable homogeneous models (Goncharov and Peretyat'kin), properties of the Ehrenfeucht theories (Millar, Ash, and Reed), the theory of algorithmic dimension and conditions of autostability (Goncharov, Ash, Shore, Khusainov, Ventsov, and others), and the theory of computable classes of models with various properties.
Future perspectives of the theory of constructive models are also discussed. Most of the results in the book are presented in monograph form for the first time.
The theory of constructive models serves as a basis for recursive mathematics. It is also useful in computer science, in particular, in the study of programming languages, higher level languages of specification, abstract data types, and problems of synthesis and verification of programs. Therefore, the book will be useful for not only specialists in mathematical logic and the theory of algorithms but also for scientists interested in the mathematical fundamentals of computer science.
The authors are eminent specialists in mathematical logic. They have established fundamental results on elementary theories, model theory, the theory of algorithms, field theory, group theory, applied logic, computable numberings, the theory of constructive models, and the theoretical computer science.

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

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

دانلود کتاب Viral Hepatitis

دانلود کتاب Machine Learning in Medical Imaging: Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers

دانلود کتاب Cleaning Up Your Mental Mess: 5 Simple, Scientifically Proven Steps to Reduce Anxiety, Stress, and Toxic Thinking

دانلود کتاب John Brown, Abolitionist: The Man Who Killed Slavery, Sparked the Civil War, and Seeded Civil Rights

دانلود کتاب Low Carb In The Back Yard: 130 Keto Friendly Recipes for Sun-Filled Picnics, Reunions, and Backyard Entertaining