A Concise Introduction to Logic

Introduction to Logic is clear and concise, uses interesting examples (many philosophical in nature), and has easy-to-use proof methods. Its key features, retained in this Third Edition.

Learn how to develop your reasoning skills and how to writewell-reasoned proofs
Learning to Reason shows you how to use the basic elements ofmathematical language to develop highly sophisticated, logicalreasoning skills. You'll get clear, concise, easy-to-followinstructions on the process of writing proofs, including thenecessary reasoning techniques and syntax for constructingwell-written arguments. Through in-depth coverage of logic, sets,and relations, Learning to Reason offers a meaningful, integratedview of modern mathematics, cuts through confusing terms and ideas,and provides a much-needed bridge to advanced work in mathematicsas well as computer science. Original, inspiring, and designed formaximum comprehension, this remarkable book:

The ultimate aim of artificial intelligence (A.I.) is to understand intelligence and to build intelligent software and robots that come close to the performance of humans. On their way towards this goal, A.I. researchers have developed a number of quite different subdisciplines.

This accessible and engaging textbook presents a concise introduction to the exciting field of artificial intelligence (AI). The broad-ranging discussion covers the key subdisciplines within the field, describing practical algorithms and concrete applications in the areas of agents, logic, search, reasoning under uncertainty, machine learning, neural networks, and reinforcement learning. Fully revised and updated, this much-anticipated second edition also includes new material on deep learning.