ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Aspects of Incompleteness

دانلود کتاب جنبه های ناقص بودن

Aspects of Incompleteness

مشخصات کتاب

Aspects of Incompleteness

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Lecture Notes in Logic 10 
ISBN (شابک) : 9783540632139, 9783662216354 
ناشر: Springer 
سال نشر: 1997 
تعداد صفحات: 143 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 53,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 16


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

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


توضیحاتی در مورد کتاب جنبه های ناقص بودن

این کتاب برخی از حوزه های اصلی و نتایج فرا ریاضیات عمومی را ارائه می دهد. علاوه بر نتایج استاندارد G?del و همکاران. در مورد ناقص بودن، بدیهی‌پذیری (غیر) محدود، تفسیرپذیری، و غیره، شامل یک بررسی کامل از محافظه‌کاری جزئی و درجات تفسیرپذیری است. روش حساب کردن نقش بسیار مهمی در کتاب دارد. فرض بر این است که خواننده با این روش و با عناصر نظریه بازگشت آشنا است. این کتاب به عنوان یک کتاب درسی برای دوره های تحصیلات تکمیلی - تمرینات زیادی وجود دارد - و به عنوان یک متن مرجع برای محققان مفید خواهد بود.


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

This book presents some of the main areas and results of general metamathematics. In addition to standard results of G?del et al. on incompleteness, (non-)finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization plays an all important role in the book. The reader is assumed to be acquainted with this method and with the elements of recursion theory. The book will be useful as a textbook for a graduate student course - there are many exercises - and as a reference text for researchers.



فهرست مطالب


Content: 
Front Matter....Pages i-x
Introduction....Pages 1-4
Preliminaries....Pages 5-22
Incompleteness....Pages 23-41
Numerations of R.E. Sets....Pages 42-51
Axiomatizations....Pages 52-61
Partial Conservativity....Pages 62-74
Interpretability....Pages 75-93
Degrees of Interpretability....Pages 94-118
Generalizations....Pages 119-124
Back Matter....Pages 125-135




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی