مشخصات کتاب
Computational prospects of infinity. Part I: Tutorials
ویرایش:
نویسندگان: Chitat Chong, Qi Feng, Theodore A. Slaman, W. Hugh Woodin, Yue Yang (ed.)
سری: Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
ISBN (شابک) : 9812796533, 9789812796530
ناشر: World Scientific Publishing Company
سال نشر: 2008
تعداد صفحات: 264
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 38,000
میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 10
در صورت تبدیل فایل کتاب Computational prospects of infinity. Part I: Tutorials به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چشم انداز محاسباتی بی نهایت. قسمت اول: آموزش ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب چشم انداز محاسباتی بی نهایت. قسمت اول: آموزش ها
این جلد نسخههای مکتوب سخنرانیهای آموزشی ارائه شده در کارگاه
دورنمای محاسباتی بینهایت، که از 18 ژوئن تا 15 اوت 2005 در
مؤسسه علوم ریاضی، دانشگاه ملی سنگاپور برگزار شد، ارائه میکند.
این شامل مقالات چهار نفر از متخصصان برجسته در نظریه بازگشت
(نظریه محاسبات) و نظریه مجموعه است. مقاله نظرسنجی راد داونی
مقدمه ای جامع برای تصادفی بودن الگوریتمی، یکی از فعال ترین حوزه
های تحقیقات فعلی در نظریه بازگشت، ارائه می دهد. مقاله تئودور
اسلمن اولین گزارش چاپ شده از کار پیشگامانه Slaman Woodin و
Slaman Shore در مورد قابلیت تعریف پرش تورینگ است. جان استیل
نتایجی را در مورد خواص مدل های مشتق شده از موش ها و وجود موش
هایی با مدل های مشتق شده بزرگ ارائه می دهد. این مطالعه با
انگیزه برخی از جام های مقدس شناخته شده در نظریه مدل درونی، از
جمله حدس مجموعه موش انجام شد. در ارائه خود، دبلیو هیو وودین طرح
کلی یک نسخه توسعه یافته (منتشر نشده) را در مورد توالی های توسعه
دهنده مناسب ارائه می دهد، موضوعی که در تلاش برای درک نظریه مدل
درونی برای کاردینال های بزرگ فراتر از سطح کاردینال های فوق قوی
توسعه یافته است.
این جلد به عنوان راهنمای مفیدی برای دانشجویان تحصیلات تکمیلی
و محققین در تئوری بازگشت و تئوری مجموعه ها به برخی از مهم
ترین و مهم ترین پیشرفت ها در این موضوعات در سال های اخیر عمل
می کند.
محتوا: پنج سخنرانی در مورد تصادفی الگوریتمی (R
Downey); ویژگی های جهانی درجات تورینگ و پرش تورینگ (T A
Slaman)؛ مدل های مشتق شده مرتبط با موش ها (J R Steel); طرح
کلی آموزش: دنباله های توسعه دهنده مناسب (W H Woodin)
توضیحاتی درمورد کتاب به خارجی
This volume presents the written versions of the tutorial
lectures given at the Workshop on Computational Prospects of
Infinity, held from 18 June to 15 August 2005 at the Institute
for Mathematical Sciences, National University of Singapore. It
consists of articles by four of the leading experts in
recursion theory (computability theory) and set theory. The
survey paper of Rod Downey provides a comprehensive
introduction to algorithmic randomness, one of the most active
areas of current research in recursion theory. Theodore A
Slaman's article is the first printed account of the
ground-breaking work of Slaman Woodin and Slaman Shore on the
definability of the Turing jump. John Steel presents some
results on the properties of derived models of mice, and on the
existence of mice with large derived models. The study was
motivated by some of the well-known Holy Grails in inner model
theory, including the Mouse Set Conjecture. In his
presentation, W Hugh Woodin gives an outline of an expanded
version (unpublished) on suitable extender sequences, a subject
that was developed in the attempt to understand inner model
theory for large cardinals beyond the level of superstrong
cardinals.
The volume serves as a useful guide for graduate students and
researchers in recursion theory and set theory to some of the
most important and significant developments in these subjects
in recent years.
Contents: Five Lectures on Algorithmic Randomness (R
Downey); Global Properties of the Turing Degrees and the
Turing Jump (T A Slaman); Derived Models Associated to Mice
(J R Steel); Tutorial Outline: Suitable Extender Sequences (W
H Woodin)
نظرات کاربران