دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Elementary Logic: Revised Edition
دانلود کتاب منطق ابتدایی: نسخه اصلاح شده
مشخصات کتاب
Elementary Logic: Revised Edition
ویرایش: Revised
نویسندگان: W. V. Quine
سری:
ISBN (شابک) : 0674244516, 9780674244511
ناشر: Harvard University Press
سال نشر: 1980
تعداد صفحات: 0
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Elementary Logic: Revised Edition به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ابتدایی: نسخه اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ابتدایی: نسخه اصلاح شده
این کتاب که اکنون از زمان اولین انتشارش در سال 1941 بسیار مورد بازبینی قرار گرفته است، علیرغم مختصر بودن، به دلیل گستردگی و دقت آن قابل توجه است. این یک رشته از تکنیک های ساده را برای تجارت مرکزی منطق مدرن ارائه می دهد. مفاهیم رسمی اصلی توضیح داده می‌شوند، ترجمه کلمات به نمادها به صورت طولانی بررسی می‌شود، و یک روش آزمایشی برای منطق تابع حقیقت همراه با یک روش اثبات کامل برای منطق کمی‌کننده‌ها ارائه می‌شود. به طور کامل یک سوم از این نسخه اصلاح شده جدید است و گردش تقریباً کاملی را در تکنیک های مهم آزمایش و اثبات، برخی تغییر نمادها و برخی به روز رسانی اصطلاحات ارائه می دهد. این مطالعه در درجه اول به عنوان یک کپسوله سازی راحت از حداقل موارد ضروری در نظر گرفته شده است، اما با ارائه اجمالی مختصر از موارد بیشتر به پایان می رسد.
توضیحاتی درمورد کتاب به خارجی
Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters.
