توضیحات
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.
————————————————————–
ترجمه ماشینی :
تئوری مدلهای سازنده (بازگشتی) از آثار فروهلیچ، شپردسون، مالتسف، کوزنتسوف، رابین و وات در دهه 50 پیروی میکند. در چارچوب این نظریه، ویژگیهای الگوریتمی مدلهای انتزاعی با ساختن نمایشهایی بر روی مجموعه اعداد طبیعی و بررسی روابط بین ویژگیهای الگوریتمی و ساختاری این مدلها بررسی میشود.
این کتاب شرحی بسیار خواندنی از نظریه مدرن مدلهای سازنده است و روشها و رویکردهایی را که توسط نمایندگان مکتب جبر و منطق سیبری و برخی محققان دیگر (بهویژه نرود و همکارانش) توسعه یافتهاند، شرح میدهد. مضامین اصلی عبارتند از: وجود مدلهای بازگشتی و کاربرد در زمینهها، جبرها و مجموعههای مرتب شده (ارشوف)، وجود مدلهای اول قابل تصمیمگیری (گونچاروف، هرینگتون)، وجود مدلهای اشباع قابل تصمیمگیری (مورلی)، وجود مدلهای همگن قابل تصمیمگیری. مدلها (گونچاروف و پرتیاتکین)، ویژگیهای نظریههای ارنفوشت (میلار، اش و رید)، نظریه ابعاد الگوریتمی و شرایط خودپایداری (گونچاروف، اش، شور، خوساینوف، ونتسف و دیگران) و نظریه کلاس های قابل محاسبه از مدل ها با ویژگی های مختلف.
دیدگاههای آینده نظریه مدلهای سازنده نیز مورد بحث قرار میگیرد. بیشتر نتایج کتاب برای اولین بار به صورت تک نگاری ارائه شده است.
نظریه مدل های سازنده به عنوان پایه ای برای ریاضیات بازگشتی عمل می کند. همچنین در علوم کامپیوتر، به ویژه در مطالعه زبان های برنامه نویسی، زبان های سطح بالاتر مشخصات، انواع داده های انتزاعی، و مشکلات سنتز و تأیید برنامه ها مفید است. بنابراین، این کتاب نه تنها برای متخصصان منطق ریاضی و نظریه الگوریتمها، بلکه برای دانشمندان علاقهمند به مبانی ریاضی علوم کامپیوتر نیز مفید خوا
tag : دانلود کتاب مدل های سازنده , Download مدل های سازنده , دانلود مدل های سازنده , Download Constructive Models Book , مدل های سازنده دانلود , buy مدل های سازنده , خرید کتاب مدل های سازنده , دانلود کتاب Constructive Models , کتاب Constructive Models , دانلود Constructive Models , خرید Constructive Models , خرید کتاب Constructive Models ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.