لایب سان

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning.  It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory.

The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language.  It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level,  and provides the reader with technical skills needed for practical derivations in them.  Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ. 

•Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples
•Emphasis both on conceptual understanding and on developing practical skills
•Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic
•Includes extensive sets of exercises, many of them provided with solutions or answers
•Supplemented by a website including detailed slides, additional exercises and solutions

For more information browse the book's website at: https://logicasatool.wordpress.com

چکیده فارسی

که به سبکی واضح، دقیق و کاربرپسند نوشته شده است، منطق به عنوان ابزار: راهنمای استدلال منطقی رسمی برای دانشجویان کارشناسی ریاضی و علوم کامپیوتر در نظر گرفته شده است و آنها را برای یادگیری راهنمایی می کند. ، درک و تسلط بر استفاده از منطق کلاسیک به عنوان ابزاری برای انجام استدلال صحیح. این یک توضیح منظم و دقیق از منطق کلاسیک را با مثال‌ها و تمرین‌های فراوان و تنها حداقل تئوری لازم ارائه می‌دهد.

این کتاب دستور زبان، معناشناسی و استفاده از زبان‌های منطقی کلاسیک را توضیح می‌دهد و به خواننده می‌آموزد که چگونه معنا را درک کند و آنها را به زبان طبیعی ترجمه کند. با مثال‌های گسترده، استفاده از محبوب‌ترین سیستم‌های قیاسی - سیستم‌های بدیهی، تابلوهای معنایی، استنتاج طبیعی و تفکیک - را برای رسمی‌سازی و خودکارسازی استدلال منطقی هم در سطح گزاره‌ای و هم در سطح اول نشان می‌دهد و به خواننده اطلاعات فنی ارائه می‌کند. مهارت های مورد نیاز برای اشتقاق عملی در آنها. رهنمودهای سیستماتیک در مورد چگونگی اجرای استدلال منطقی درست و ساختار یافته با استفاده از این سیستم های قیاسی و تکنیک های استدلالی که آنها به کار می برند ارائه شده است.

• توضیح مختصر و سیستماتیک، با پرداخت نیمه رسمی اما سختگیرانه از حداقل نظریه لازم، به طور گسترده با مثال ها نشان داده شده است
•تاکید هم بر درک مفهومی و هم بر توسعه مهارت های عملی
•پوشش محکم و متوازن جنبه های نحوی، معنایی و قیاسی منطق
•شامل مجموعه های گسترده ای از تمرینات است که بسیاری از آنها با راه حل یا پاسخ ارائه شده اند
• تکمیل شده توسط یک وب سایت شامل اسلایدهای دقیق، تمرینات اضافی و راه حل ها

برای اطلاعات بیشتر، وب سایت کتاب را در آدرس زیر مرور کنید: https://logicasatool.wordpress.com