Искусство доказательства в математике / пер. с англ. В. С. Яценкова

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

Веллеман Д. Искусство доказательства в математике / пер. с англ. В. С. Яценкова / Д. Веллеман. - Москва : ДМК Пресс, 2021. - 444 с. - ISBN 978-5-97060-911-8. - URL: http://m.ibooks.ru/bookshelf/388526/reading (дата обращения: 27.07.2025). - Текст: электронный.