The art of evidence in mathematics. Velleman D.

What are they expected from you when they ask you to prove something? What distinguishes the correct proof from the wrong? This book will help you find out the answers and explain the basic principles used in the construction of evidence.

, in contrast to the school approach to evidence as a numbered list of statements and reasons, this publication uses a structured approach characteristic of programming: Mathematics Evidence is also built by combining some basic structures. The choice of structure is determined by the logical form of the proven statement, therefore, at the beginning of the book, elementary logic is considered and the reader gets acquainted with various forms of mathematical expressions. Further, relationships, functions, mathematical induction and more complex mathematical topics are discussed, in particular the theory of numbers. At the end of the sections of each chapter, a list of exercises is presented, for some of which decisions or hints are given.

The publication is addressed to everyone who is interested in logic and evidence: mathematicians, computer science specialists, philosophers, linguists.