Доказательства играют центральную роль в высшей математике и теоретической информатике, однако многие студенты испытывают трудности при изучении предметов, которые в значительной степени основаны на доказательствах. Третье издание этого бестселлера помогает студентам перейти от механического решения задач к осмысленному доказательству теорем, обучая их приемам, необходимым для чтения и написания доказательств. Это расширенное издание, включающее более 150 новых упражнений и новую главу по теории чисел, знакомит учащихся с миром высшей математики через мастерство доказательства. Книга начинается с основ-ных понятий логики и теории множеств, на примере которых учащихся знакомятся с языком мате