[ДМК] Искусство доказательства в математике [Веллеман Д.]

Искусство доказательства в математике Издание: Черно-белое Оригинальное название: "How to Prove It: A Structured Approach 3rd Edition" Оригинальный правообладатель: Cambridge University Press Дата выхода: март 2021 года Формат: 165 * 235 мм Бумага: офсетная Обложка: Твердый переплет Объем, стр.: 444 ISBN: 978-5-97060-911-8 Вес: 800 pdf от издателя Доказательства играют центральную роль в высшей математике и теоретической информатике, однако многие студенты испытывают трудности при изучении предметов, которые в значительной степени основаны на доказательствах. Третье издание этого бестселлера помогает студентам перейти от механического решения задач к осмысленному доказательству теорем, обучая их приемам, необходимым для чтения и написания доказательств. Это расширенное издание, включающее более 150 новых упражнений и новую главу по теории чисел, знакомит учащихся с миром высшей математики через мастерство доказательства. Книга начинается с основ-ных понятий логики и теории множеств, на примере которых учащихся знакомятся с языком математики и его интерпретацией. Эти концепции заложены в основу методов, которые впоследствии применяются для сложных умозаключений, включая подробные пошаговые описания стратегий построения доказательств теорий о свойствах чисел, множеств, отношений и функций. Эта книга будет полезна всем, кто интересуется логикой и доказательствами: специалистам по информатике, философам, лингвистам и, конечно же, математикам. Предполагается, что читатель не владеет знаниями, выходящими за рамки стандартного курса математики средней школы.