مشخصات کتاب

Deduction 2e: Introductory Symbolic Logic

ویرایش: 2 
نویسندگان: Daniel Bonevac  
سری:  
ISBN (شابک) : 063122713X, 9780631227137 
ناشر: Wiley-Blackwell 
سال نشر: 2002 
تعداد صفحات: 276 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت 

در صورت تبدیل فایل کتاب Deduction 2e: Introductory Symbolic Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب استنتاج 2e: منطق نمادین مقدماتی

\"Deduction\" یک نمایش کارآمد و زیبا از منطق کلاسیک درجه اول است. این یک سیستم درخت حقیقت را بر اساس کار جفری و همچنین یک سیستم استنتاج طبیعی با الهام از کالیش و مونتاگ ارائه می دهد. هر دو بسیار طبیعی و آسان برای یادگیری هستند. تعریف یک فرمول متغیرهای آزاد را مستثنی می کند و سیستم کسر از خطوط نمایش استفاده می کند. این ترکیب اجازه می دهد تا قوانین بسیار ساده بیان شوند. نوآوری اصلی کتاب قسمت پایانی آن است که شامل فصولی در مورد بسط و تجدید نظر منطق کلاسیک است: منطق مدال، منطق چند ارزشی، منطق فازی، منطق شهودی، خلاف واقع، منطق deontic، استدلال عقل سلیم، و منطق معین کمی. اینها در 40 سال گذشته زمینه‌های بسیار مورد توجه منطقی و فلسفی بوده‌اند، اما تعداد کمی از کتاب‌های درسی به آن‌ها به طور عمیق پرداخته شده‌اند. \"Deduction\" این مناطق را برای دانش آموزان مقدماتی قابل دسترسی می کند. همه فصل‌ها بحث‌هایی درباره معناشناسی زیربنایی دارند و هم درخت حقیقت و هم سیستم‌های استنتاج را ارائه می‌کنند. ویژگی‌های جدید در این نسخه، علاوه بر سیستم‌های درخت حقیقت برای منطق‌های کلاسیک و غیرکلاسیک، شامل قوانین جدید و ساده‌تر برای منطق مدال، منطق deontic، و counterfactuals می‌شود. بحث در مورد منطق های چند ارزشی، فازی و شهودی. مقدمه ای بر استدلال عقل سلیم (منطق غیر یکنواخت)؛ و مجموعه‌های مسئله‌ای که به‌طور گسترده بازسازی شده‌اند، که برای هدایت تدریجی دانش‌آموزان از مسائل ساده‌تر به مشکلات دشوارتر طراحی شده‌اند. این نسخه جدید همچنین دارای برنامه های مبتنی بر وب است که از روش های کتاب استفاده می کند. هر برنامه به گونه ای تنظیم شده است که به دانش آموزان مشکلات نمادسازی بدهد، نکاتی را به آنها بدهد، کار آنها را درجه بندی کند، و مشکلاتی را برای آنها انجام دهد.

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

"Deduction" is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Both are very natural and easy to learn. The definition of a formula excludes free variables, and the deduction system uses Show lines; the combination allows rules to be stated very simply. The book's main innovation is its final part, which contains chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common-sense reasoning, and quantified modal logic. These have been areas of great logical and philosophical interest over the past 40 years, but few other textbooks treat them in any depth. "Deduction" makes these areas accessible to introductory students. All chapters have discussions of the underlying semantics and present both truth tree and deduction systems. New features in this edition, in addition to truth tree systems for classical and nonclassical logics, include new and simpler rules for modal logic, deontic logic, and counterfactuals; discussions of many-valued, fuzzy, and intuitionistic logics; an introduction to common-sense reasoning (nonmonotonic logic); and extensively reworked problem sets, designed to lead students gradually from easier to more difficult problems. This new edition also features web-based programs that make use of the book's methods. Each program is set up to give students symbolization problems, give them hints, grade their work, and do problems for them.

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

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

دانلود کتاب Protoplasts 1983: Lecture Proceedings

دانلود کتاب Eating the IT Elephant: Moving from Greenfield Development to Brownfield

دانلود کتاب Elevators Standards

دانلود کتاب The Nature of an Ancient Maya City: Resources, Interaction, and Power at Blue Creek, Belize

دانلود کتاب The Eastern Frontier: Limits of Empire in Late Antique and Early Medieval Central Asia