Искусство доказательства в математике

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

• Тщательно подобранные примеры, демонстрирующие, как можно объединить несколько методов для построения комплексного доказательства.
• Охватывает логику, теорию множеств, отношения и функции.
• Идеально подходит для самостоятельного изучения курса математических доказательств или в качестве дополнительного чтения к курсу дискретной математики или математического анализа.

Издание будет полезно всем, кто интересуется логикой и доказательствами: старшим школьникам, студентам, ИТ-специалистам, философам, лингвистам и др. Предполагается, что читатель не владеет знаниями, выходящими за рамки стандартного курса математики средней школы.