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