Искусство доказательства в математике.
Веллеман Д.
Чего от вас ждут, когда просят что-то доказать? Что отличает правильное до-
казательство от неправильного? Эта книга поможет вам узнать ответы и разъяснит
основные принципы, используемые при построении доказательств.
В отличие от школьного подхода к доказательствам как к пронумерованному
списку утверждений и причин, в настоящем издании используется структуриро-
ванный подход, характерный для программирования: математические доказа-
тельства также строятся путем объединения некоторых базовых структур. Выбор
структуры определяется логической формой доказываемого утверждения, поэтому
в начале книги рассматривается элементарная логика и читатель знакомится с раз-
личными формами математических выражений. Далее обсуждаются отношения,
функции, математическая индукция и более сложные математические темы,
в частности теория чисел. В конце разделов каждой главы представлен список
упражнений, для части которых приводятся решения или подсказки.
Издание адресовано всем, кто интересуется логикой и доказательствами: ма-
тематикам, специалистам по информатике, философам, лингвистам.
казательство от неправильного? Эта книга поможет вам узнать ответы и разъяснит
основные принципы, используемые при построении доказательств.
В отличие от школьного подхода к доказательствам как к пронумерованному
списку утверждений и причин, в настоящем издании используется структуриро-
ванный подход, характерный для программирования: математические доказа-
тельства также строятся путем объединения некоторых базовых структур. Выбор
структуры определяется логической формой доказываемого утверждения, поэтому
в начале книги рассматривается элементарная логика и читатель знакомится с раз-
личными формами математических выражений. Далее обсуждаются отношения,
функции, математическая индукция и более сложные математические темы,
в частности теория чисел. В конце разделов каждой главы представлен список
упражнений, для части которых приводятся решения или подсказки.
Издание адресовано всем, кто интересуется логикой и доказательствами: ма-
тематикам, специалистам по информатике, философам, лингвистам.
年:
2021
出版社:
ДМК Пресс
言語:
russian
ISBN 10:
5970609110
ISBN 13:
9785970609118
ファイル:
PDF, 3.62 MB
IPFS:
,
russian, 2021