Искусство доказательства в математике. Курс лекций с упражнениями

Эта книга представляет собой фундаментальное руководство по построению математических доказательств. В отличие от традиционного школьного подхода, автор использует структурированную методологию, аналогичную принципам программирования, где доказательства конструируются из базовых логических блоков.

Книга начинается с основ пропозициональной логики, таблиц истинности и работы с множествами, что закладывает необходимый фундамент для понимания логической формы утверждений. Далее подробно рассматривается кванторная логика, эквивалентности и операции с множествами.

Основное внимание уделяется стратегиям доказательства: автор систематически разбирает методы работы с отрицаниями, условными утверждениями, кванторами, конъюнкциями, дизъюнкциями, а также доказательства существования и единственности. Каждая тема сопровождается многочисленными примерами и упражнениями.

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