دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Chitat Chong, Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang سری: Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore ISBN (شابک) : 9814699942, 9789814699945 ناشر: World Scientific Publishing Company سال نشر: 2015 تعداد صفحات: 182 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
کلمات کلیدی مربوط به کتاب اجباری ، Ultrapowers Iterated ، و درجه Turing: اندازهگیری، آزمایشها، ابزار و اندازهگیری، علم و ریاضی، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، نظریه مجموعهها، ریاضیات محض، ریاضیات، علوم و ریاضیات، ریاضیات، جبر و مثلثات، حساب دیفرانسیل و انتگرال، علم و ریاضیات، ,کتاب های درسی نو، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب Forcing, Iterated Ultrapowers, and Turing Degrees به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اجباری ، Ultrapowers Iterated ، و درجه Turing نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد یادداشتهای سخنرانی دورههای کوتاه ارائه شده توسط سه متخصص برجسته در منطق ریاضی را در ابتکار آسیایی برای مدارس تابستانی منطق بینهایت در سالهای 2010 و 2011 ارائه میکند. موضوعات اصلی تئوری مجموعه ها و تئوری بازگشت، با تاکید ویژه بر اجبار، نظریه مدل درونی و درجات تورینگ، ارائه یک نمای کلی از ایده ها و تکنیک های معرفی شده در تحقیقات معاصر در زمینه منطق ریاضی را پوشش می دهد.
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research in the field of mathematical logic.
Content: Priky-type forcings and a forcing with short extenders --
The Turing degrees: an introduction --
The introduction to iterated ultrapowers.