دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Natural logic
دانلود کتاب منطق طبیعی
مشخصات کتاب
Natural logic
ویرایش: 2pr
نویسندگان: Neil Tennant
سری:
ISBN (شابک) : 0852245793, 9780852245798
ناشر: Edinburgh University Press
سال نشر: 1990
تعداد صفحات: 205
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 56,000
در صورت تبدیل فایل کتاب Natural logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق طبیعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق طبیعی
منطق برای استدلال صحیح ضروری است و همچنین کاربردهای نظری مهمی در فلسفه، علوم کامپیوتر، زبان شناسی و ریاضیات دارد. این کتاب با رویکردی منحصربه‌فرد که بر چگونه‌ها و چرایی‌های منطق تأکید می‌کند، مقدمه‌ای واضح و استثنایی برای منطق کلاسیک ارائه می‌کند. در اینجا نیکلاس اسمیت به طور کامل ابزارها و تکنیک های رسمی منطق را پوشش می دهد و در عین حال درک عمیق تری از منطق زیربنایی و اهمیت فلسفی گسترده تری به آنها می دهد. علاوه بر این، این تنها مقدمه‌ای برای منطق است که امروزه در دسترس است که تمام اشکال اصلی اثبات را ارائه می‌کند - درختان، استنتاج طبیعی در همه انواع اصلی آن، اثبات‌های بدیهی، و حساب متوالی. این کتاب همچنین دارای تمرین‌های متعددی است که راه‌حل‌های آن در یک وبسایت همراه موجود است. منطق کتاب درسی ایده‌آل برای دانشجویان کارشناسی و فارغ‌التحصیلان است که به دنبال مقدمه‌ای جامع و قابل دسترس برای این موضوع هستند. مقدمه‌ای اساسی برای منطق کلاسیک ارائه می‌کند. بر چگونگی و چرایی منطق تأکید می‌کند که هم مسائل رسمی و هم فلسفی را پوشش می‌دهد. همه اشکال اصلی اثبات را ارائه می‌کند - از درخت‌ها تا حساب متوالی. دارای تمرین‌های متعدد، با راه‌حل‌های موجود در personal.usyd.edu.au/ ~njjsmith/lawsoftruth کتاب درسی ایده آل برای دانشجویان کارشناسی و کارشناسی ارشد
توضیحاتی درمورد کتاب به خارجی
Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents all the major forms of proof--trees, natural deduction in all its major variants, axiomatic proofs, and sequent calculus. The book also features numerous exercises, with solutions available on an accompanying website.Logic is the ideal textbook for undergraduates and graduate students seeking a comprehensive and accessible introduction to the subject. Provides an essential introduction to classical logic Emphasizes the how and why of logic Covers both formal and philosophical issues Presents all the major forms of proof--from trees to sequent calculus Features numerous exercises, with solutions available at personal.usyd.edu.au/~njjsmith/lawsoftruthThe ideal textbook for undergraduates and graduate students
