Описание
Чего от вас ждут, когда просят что-то доказать? Что отличает правильное доказательство от неправильного? Эта книга поможет вам узнать ответы и разъяснит основные принципы, используемые при построении доказательств.
В отличие от школьного подхода к доказательствам как к пронумерованному списку утверждений и причин, в настоящем издании используется структурированный подход, характерный для программирования: математические доказательства также строятся путем объединения некоторых базовых структур. Выбор структуры определяется логической формой доказываемого утверждения, поэтому в начале книги рассматривается элементарная логика и читатель знакомится с различными формами математических выражений. Далее обсуждаются отношения, функции, математическая индукция и более сложные математические темы, в частности теория чисел. В конце разделов каждой главы представлен список упражнений, для части которых приводятся решения или подсказки.
Издание адресовано всем, кто интересуется логикой и доказательствами: математикам, специалистам по информатике, философам, лингвистам.
Характеристики
Автор(ы) | Дэниэл Веллеман |
Переводчик | В. С. Яценкова |
Издательство | ДМК Пресс |
Вид издания | Курс лекций с упражнениями |
Год выпуска | 2021 |
ISBN | 978-5-97060-911-8 |
Кол-во страниц | 444 |
Формат страниц | 70x100/16 (170x240 мм) |
Язык | Русский |
Переплёт | Твердый |
Иллюстрации | черно-белые |
Тираж | 200 экз. |
Вес | 820 г |