The art of evidence in mathematics

Evidence play a central role in higher mathematics and theoretical computer science, however, many students have difficulty studying subjects that are largely based on evidence. The third edition of this bestseller helps students to move from mechanical solving problems to comprehended evidence of theorems, teaching them to read and write evidence. This is an expanded publication, including more than 150 new exercises and a new chapter on the theory of numbers, introduces students to the world of higher ma-items through evidence of evidence. The book begins with the basic concepts of logic and the theory of sets, on the example of which students get acquainted with the language of mathematics and its interpretation. These concepts are the basis of the interdaes, which are subsequently used for complex conclusions, including detailed stamping descriptions of strategies for constructing the evidence of theories about the properties of numbers, sets, from extensions and functions.
This book will be useful to everyone who is interested in logic and evidence: specialists in informatics, philosophers, linguists and, of course, mathematicians. It is assumed that the reader does not own the knowledge that goes beyond the scope of the camp of secondary school mathematics