Мистецтво доказу в математиці

Докази відіграють центральну роль у вищій математиці та теоретичній інформатиці, проте багато студентів зазнають труднощів під час вивчення предметів, що значною мірою ґрунтуються на доказах. Третє видання цього бестселера допомагає студентам перейти від механічного розв'язування задач до осмисленого доведення теорем, навчаючи їх прийомам, необхідним для читання і написання доказів. Це розширене видання, що включає понад 150 нових вправ і нову главу з теорії чисел, знайомить учнів зі світом вищої математики через майстерність доказу. Книга починається з основних понять логіки та теорії множин, на прикладі яких учні знайомляться з мовою математики та її інтерпретацією. Ці концепції закладено в основу методів, які згодом застосовуються для складних умовиводів, включно з детальними покроковими описами стратегій побудови доказів теорій про властивості чисел, множин, відношень і функцій.