کتاب الکترونیکی

محاسبات و منطق

Computability and Logic

دانلود کتاب Computability and Logic (به فارسی: محاسبات و منطق) نوشته شده توسط «George S. Boolos – John P. Burgess – Richard C. Jeffrey»

اطلاعات کتاب محاسبات و منطق

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: George S. Boolos – John P. Burgess – Richard C. Jeffrey

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2002

تعداد صفحه: 370

حجم کتاب: 4 مگابایت

کد کتاب: 9780521007580 , 0521007585

نوبت چاپ: 4

توضیحات کتاب محاسبات و منطق

این یک امر کلاسیک و یک الزام مطلق برای هر کسی است که نیاز دارد (یا می خواهد) بینشی در مورد منطق میانی کسب کند. یک مقدمه قابل دسترس تر (و در عین حال جامع تر) به سادگی در دسترس نیست. بخش اول مفاهیم اساسی محاسبات را معرفی می کند، بخش دوم به فهرست استاندارد نتایج مهم مرتبه اول می پردازد (البته در قضایای ناقص بودن به اوج می رسد) در حالی که قسمت سوم به موضوعات مختلف دیگری از جمله قضیه درون یابی (بدیهی است) می پردازد. ، مدل های غیر استاندارد و اثبات پذیری (به خصوص قضیه لوب). و سبک؟ واژگان فلسفی شامل مدخل زیر است: [boo, n. طول یک برهان ریاضی یا منطقی؛ بنابراین، booloss، n.، فرآیند کوتاه کردن چنین برهانی. “فقط پس از بولوس قابل توجه می توان قضیه فشردگی را در پانزده دقیقه توضیح داد.”]. اون یکی خیلی مناسبه با پارادوکس بری، بولوس قادر است اولین قضیه ناقص بودن را تقریباً در نیم صفحه اثبات کند (البته یک رویکرد استانداردتر نیز گنجانده شده است). او در جای دیگر قضیه ناتمامیت دوم را تنها با استفاده از کلمات یک هجایی توضیح داده است. نکته این است که: این نویسندگان (و به‌طور خاص، بولوس) توانایی تقریباً ترسناکی در ساده‌سازی و درک آسان چیزهای دشوار دارند. گفته می شود، من چند تردید دارم. البته اشتباهات تایپی ذکر شده است (لیستی از اشتباهات در http://www.princeton.edu/~jburgess/addenda.htm موجود است)، اما اکثر آنها در چاپ دوم تصحیح شده اند (بنابراین اگر کتاب را جدید بخرید ، احتمالاً این یکی را دریافت خواهید کرد) – با این حال تعداد کمی باقی مانده است. همچنین در مورد برخی از تغییرات ویرایش چهارم مطمئن نیستم. به طور خاص، ساختار اثبات کامل بودن، فشردگی و قضایای لوونهایم-اسکولم تا حدودی شگفت‌انگیز است، که از دو لم مربوط به «ویژگی‌های رضایت» و «ویژگی‌های بسته شدن» ناشی می‌شود. این یک حرکت جالب است، اما (تا حدی به دلیل ارائه، مسلماً) مطمئناً برای هر کسی که برای اولین بار به این موارد می‌آید تا حدودی گیج‌کننده خواهد بود و از نحوه تناسب آنها با یکدیگر آگاه نیست. با این حال، هیچ راهی وجود ندارد که بتوانم به این کتاب کمتر از پنج ستاره بدهم. به سادگی هیچ رقابت مرتبطی وجود ندارد که از نظر دسترسی و جامعیت قابل مقایسه باشد. فوری توصیه می شود.

This is a classic and an absolute must for anyone required (or wanting) to gain insight into intermediate logic. A more accessible (and yet more comprehensive) introduction is simply not available. The first part introduces basic concepts of computation, the second goes through the standard stock of important first-order result (culminating, of course, in the incompleteness theorems) whereas the third part goes through various further topics, including the Interpolation theorem (obviously), nonstandard models and provability (especially Loeb’s theorem).And the style? The philosophical lexicon contains the following entry: [boo, n. The length of a mathematical or logical proof; hence, booloss, n., the process of shortening such a proof. “Only after significant booloss could the compactness theorem be explained in fifteen minutes.”]. That one is pretty apt. With the Berry paradox, Boolos is able to prove the first incompleteness theorem in approximately half a page (a more standard approach is of course included as well). He has elsewhere explained the second incompleteness theorem using only one-syllable words. Point is: these authors (and, one suspects, Boolos in particular) has (had) an almost scary ability to make difficult things simple and easily comprehensible. That said, I do have a few misgivings. The typos have of course been mentioned (a list of errata is available on http://www.princeton.edu/~jburgess/addenda.htm), but most have been corrected in the second printing (so if you buy the book new, you’ll probably get this one) – there are a few left, however. I am also not sure about some of the changes to the fourth edition. In particular, the structure of the proofs of the completeness, compactness and LГ¶wenheim-Skolem theorems is somewhat surprising, proceeding from two lemmas concerning “satisfaction properties” and “closure properties”. It is an interesting move, but will (partially because of the presentation, admittedly) surely be somewhat confusing to anyone coming to these for the first time not already being aware of how they fit together. That said, there is no way I can give this book less than five stars. There is simply no relevant competition comparable in accessibility and comprehensiveness. Urgently recommended.

دانلود کتاب «محاسبات و منطق»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان