دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A Survey of Mathematical Logic
دانلود کتاب بررسی منطق ریاضی
مشخصات کتاب
A Survey of Mathematical Logic
ویرایش:
نویسندگان: Hao Wang
سری:
ناشر: Science Press / North-Holland Publishing Company
سال نشر: 1963
تعداد صفحات: 663
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 Mb
قیمت کتاب (تومان) : 59,000
در صورت تبدیل فایل کتاب A Survey of Mathematical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بررسی منطق ریاضی
از پیشگفتار: منطق ریاضی مطرح شود. از آنجایی که مقالات تنها به چند زیردامنه از این حوزه می پردازند، من از یادداشت های منتشر نشده، بحث های تعدادی از موضوعات استاندارد را اضافه کرده ام و چند مقاله را با توضیحات کلی تری از موضوعات مرتبط جایگزین کرده ام. نتیجه کتاب حاضر است. به عنوان یک نظرسنجی، نه کامل است و نه بی طرف. به عنوان مثال، منطق مدال، منطق ترکیبی و منطق چند ارزشی اصلا در نظر گرفته نمی شود. حذفهای جدیتر، هرگونه توضیح کافی از آثار جدیدتر در مورد توابع بازگشتی و شهودگرایی است، دو موضوعی که بیشترین علاقه فعلی را در میان منطقدانان ریاضی فعال دارند. اما این دو حوزه در بحبوحه تحولات سریع قرار دارند. به نظر می رسد چاره ای جز دنبال کردن اکتشافات جدید با بیرون آمدن آنها وجود ندارد. در جهتی متفاوت، آثاری که به راحتی در دسترس من نیستند، به اندازه کافی مورد بررسی قرار نگرفته اند.
توضیحاتی درمورد کتاب به خارجی
From the Preface: of mathematical logic be put forth. As the papers deal with only a few subdomains of the field, I have added from unpublished notes discussions of a number of standard topics and replaced a few papers by somewhat more general descriptions of related matter. The result is the present book. As a survey, it is neither complete nor impartial. For example, modal logic, combinatory logic, and many-valued logic are not considered at all. More serious omissions are any adequate account of more recent works on recursive functions and on intuitionism, two of the subjects which are of the greatest current interest among working mathematical logicians. But these two fields are in the midst of rapid developments; there seems to be no choice but to follow new discoveries as they come out. In a different direction, works not easily accessible to me have not been adequately dealt with.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Home Is Where the School Is: The Logic of Homeschooling and the Emotional Labor of Mothering
دانلود کتاب Transnational Convergence of East Asian Pop Culture (Routledge Research in Digital Media and Culture in Asia)
دانلود کتاب IELTS General Training Reading Practice Test #13. An Example Exam for You to Practise in Your Spare Time. Created by IELTS Teachers for their students, and for you!
دانلود کتاب Writing A Compiler In Go
