Введение в математические доказательства

Введение в математические доказательства представляет фундаментальный материал по логике, методам доказательства, теории множеств, теории чисел, отношениям, функциям, мощности и системе действительных чисел. В тексте используется методичный, подробный и хорошо структурированный подход к методам доказательства и смежным темам. Никаких предварительных требований, кроме школьной алгебры, не требуется. Новый материал подается небольшими порциями, которые легко усваиваются новичками. Автор предлагает дружелюбный стиль, не жертвуя математической строгостью. Идеи развиваются посредством мотивирующих примеров, точных определений, тщательно изложенных теорий, четких доказательств и постоянного рассмотрения предыдущих тем. Особенности Учебные пособия, включая краткое изложение разделов и более 1100 упражнений. Тщательное освещение индивидуальных навыков написания доказательств. Аннотации и структурные схемы доказательств проясняют сложные шаги в доказательствах. Тщательное рассмотрение множественных кванторов и их роли в доказательствах. Унифицированное объяснение рекурсивных определений и индукционных доказательств с приложениями к наибольшим общим делителям и простым факторизациям. Об авторе: Николас А. Лоер — доцент кафедры математики в Техническом университете Вирджинии. Он преподавал в Колледже Уильяма и Мэри, Военно-морской академии США и Пенсильванском университете. Он завоевал множество преподавательских наград в трех разных школах. Он опубликовал более 50 журнальных статей. Он также является автором трех других книг для CRC Press, в том числе «Комбинаторика», «Второе издание» и «Продвинутая линейная алгебра».