مشخصات کتاب

Computability and Logic

ویرایش: [4 ed.] 
نویسندگان: George S. Boolos,  John P. Burgess,  Richard C. Jeffrey  
سری:  
ISBN (شابک) : 9780521007580, 0521007585 
ناشر: Cambridge University Press 
سال نشر: 2002 
تعداد صفحات: 370 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 Mb 

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

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

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

این یک امر کلاسیک و یک الزام مطلق برای هر کسی است که نیاز دارد (یا می خواهد) بینشی در مورد منطق میانی کسب کند. یک مقدمه قابل دسترس تر (و در عین حال جامع تر) به سادگی در دسترس نیست. بخش اول مفاهیم اساسی محاسبات را معرفی می کند، بخش دوم به فهرست استاندارد نتایج مهم مرتبه اول می پردازد (البته در قضایای ناقص بودن به اوج می رسد) در حالی که قسمت سوم به موضوعات مختلف دیگری از جمله قضیه درون یابی (بدیهی است) می پردازد. ، مدل های غیر استاندارد و اثبات پذیری (به خصوص قضیه لوب). و سبک؟ واژگان فلسفی شامل مدخل زیر است: [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.

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

کتاب های تصادفی

دانلود کتاب International Olympiad in Informatics 2009 - tasks and solutions

دانلود کتاب Über die Bildsamkeit von tongebundenen Formsanden

دانلود کتاب How I Turned $1,000 into Five Million in Real Estate in My Spare Time

دانلود کتاب La libertà ritrovata. Come (continuare a) pensare nell'era digitale

دانلود کتاب Hilfe für Juden in München: Annemarie und Rudolf Cohen und die Quäker 1938–1941