KitapOka | Искусство доказательства в математике

KitapOka | Искусство доказательства в математике

Haladym

0

ýükle

Kitabyň ady:	Искусство доказательства в математике
Awtory:	Дэниэл Веллеман
Kitap barada:	Чего от вас ждут, когда просят что-то доказать? Что отличает правильное до- казательство от неправильного? Эта книга поможет вам узнать ответы и разъяснит основные принципы, используемые при построении доказательств. В отличие от школьного подхода к доказательствам как к пронумерованному списку утверждений и причин, в настоящем издании используется структуриро- ванный подход, характерный для программирования: математические доказа- тельства также строятся путем объединения некоторых базовых структур. Выбор структуры определяется логической формой доказываемого утверждения, поэтому в начале книги рассматривается элементарная логика и читатель знакомится с раз- личными формами математических выражений. Далее обсуждаются отношения, функции, математическая индукция и более сложные математические темы, в частности теория чисел. В конце разделов каждой главы представлен список упражнений, для части которых приводятся решения или подсказки. Издание адресовано всем, кто интересуется логикой и доказательствами: ма- тематикам, специалистам по информатике, философам, лингвистам. Доказательства играют центральную роль в высшей математике и теоретической информатике. Основная цель книги – помочь развить способности к математическому мышлению, в частности, способность читать и записывать доказательства. Более 150 упражнений из формальной логики, теории множеств и теории чисел знакомит читателя с миром высшей математики через мастерство доказательства. Третье издание бестселлера помогает перейти от механического решения задач к осмысленному доказательству теорем, обучаясь приемам, необходимым для чтения и написания доказательств. • Тщательно подобранные примеры, демонстрирующие, как можно объединить несколько методов для построения комплексного доказательства • Охватывает логику, теорию множеств, отношения и функции • Идеально подходит для самостоятельного изучения курса математических доказательств или в качестве дополнительного чтения к курсу дискретной математики или математического анализа. Издание будет полезно всем, кто интересуется логикой и доказа- тельствами: старшим школьникам, студентам, ИТ-специалистам, философам, лингвистам и др. Предполагается, что читатель не владеет знаниями, выходящими за рамки стандартного курса математики средней школы.
Dili:	Rus
Çap edilen ýyly:	2021. – 444 с.
Formaty:	.pdf
Göwrümi:	3.88 mb
Baly:	200
Görülen sany:	55