Logic as a Tool

47,99 €
inkl. 7% MwSt. und
ggf. zzgl. Versand

<p>Written in a clear, precise and user-friendly style, <i>Logic as a Tool: A Guide to Formal Logical Reasoning</i> 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. &nbsp;It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory.</p> <p>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.&nbsp; 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,&nbsp; and provides the reader with technical skills needed for practical derivations in them.&nbsp; 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.&nbsp;<br /><br />&bull;Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples <br />&bull;Emphasis both on conceptual understanding and on developing practical skills <br />&bull;Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic <br />&bull;Includes extensive sets of exercises, many of them provided with solutions or answers<br />&bull;Supplemented by a website including detailed slides, additional exercises and solutions<br /><br />For more information browse the book's website at:&nbsp;<a href="https://logicasatool.wordpress.com">https://logicasatool.wordpress.com</a></p>